default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd 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
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.
last updated on 2025-01-26 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
