Volume 156, Number 1, 15 May 2006

Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005)

• 
  Peter D. Mosses, Irek Ulidowski: Preface. 1-2
• 
  Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. 3-25
• 
  José Meseguer, Grigore Rosu: The Rewriting Logic Semantics Project. 27-56
• 
  Oana Andrei, Dorel Lucanu, Gabriel Ciobanu: Operational Semantics and Rewriting Logic in Membrane Computing. 57-78
• 
  Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. 79-96
• 
  Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence Applied to eta-Bisimulation. 97-113
• 
  Samuel Hym, Matthew Hennessy: Adding Recursion to Dpi: (Extended Abstract). 115-133
• 
  Mohammad Reza Mousavi, Michel A. Reniers: Prototyping SOS Meta-theory in Maude. 135-150
• 
  Ando Saabas, Tarmo Uustalu: A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. 151-168
• 
  Axelle Ziegler, Dale Miller, Catuscia Palamidessi: A Congruence Format for Name-passing Calculi. 169-189