Volume 192, Number 1, October 2007

Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007)

• 
  Rob J. van Glabbeek, Matthew Hennessy: Preface. 1-3
• 
  Pawel Sobocinski: A Well-behaved LTS for the Pi-calculus: (Abstract). 5-11
• 
  David de Frutos-Escrig, Carlos Gregorio-Rodríguez: Simulations Up-to and Canonical Preorders: (Extended Abstract). 13-28
• 
  Patrick Cousot, Radhia Cousot: Bi-inductive Structural Semantics: (Extended Abstract). 29-44
• 
  Harald Fecher, Heiko Schmidt: Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. 45-60
• 
  Jesper Bengtson, Joachim Parrow: A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. 61-75
• 
  Astrid Kiehn: An Operational Semantics for Shared Messaging Communication. 77-92
• 
  Iain Phillips, Irek Ulidowski: Reversibility and Models for Concurrency. 93-108
• 
  Mohammad Reza Mousavi, Michel A. Reniers: A Congruence Rule Format with Universal Quantification. 109-124
• 
  Traian-Florin Serbanuta, Grigore Rosu, José Meseguer: A Rewriting Logic Approach to Operational Semantics (Extended Abstract). 125-141

Volume 192, Number 2, May 2008

• 
  Giovanni Di Crescenzo, Refik Molva: Preface. 1-2
• 
  Vanesa Daza, Javier Herranz, Paz Morillo, Carla Ràfols: Ad-Hoc Threshold Broadcast Encryption with Shorter Ciphertexts. 3-15
• 
  Nouha Oualha, Yves Roudier: Securing Ad Hoc Storage through Probabilistic Cooperation Assessment. 17-29
• 
  Keith M. Martin, Maura B. Paterson: An Application-Oriented Framework for Wireless Sensor Network Key Establishment. 31-41
• 
  Maarit Hietalahti: A Clustering-based Group Key Agreement Protocol for Ad-Hoc Networks. 43-53

Volume 192, Number 3, November 2008

• 
  Vincent Danos, Mariangiola Dezani-Ciancaglini: Preface. 1-2
• 
  Davide Ancona, Sonia Fagorzi, Elena Zucca: A Parametric Calculus for Mobile Open Code. 3-22
• 
  Giorgio Bacci, Marino Miculan: Undecidability of Model Checking in Brane Logic. 23-37
• 
  Vincent Danos, Ellie D'Hondt: Classical Knowledge for Quantum Cryptographic Reasoning. 39-58
• 
  Ian Mackie, Shinya Sato: A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. 59-70
• 
  Simon Perdrix: A Hierarchy of Quantum Semantics. 71-83
• 
  Anne Crumière, Paul Ruet: Spatial Differentiation and Positive Circuits in a Discrete Framework. 85-100