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
Last update Tue Feb 14 04:17:31 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
