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