Electronic Notes in Theoretical Computer Science, Volume 156

Volume 156, Number 1, 15 May 2006

• 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