![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd SOS@ICALP 2005:
- Peter D. Mosses, Irek Ulidowski:
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 156(1), Elsevier 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 J. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.