Electronic Notes in Theoretical Computer Science, Volume 156

Volume 156, Number 1, 15 May 2006

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