|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matthew Hennessy, Bartek Klin (eds.) |
Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008 |
SOS@ICALP |
2009 |
DBLP BibTeX RDF |
|
1 | Vincent Danos |
Agile Modelling of Cellular Signalling (Invited Paper). |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
MarCaSPiS: a Markovian Extension of a Calculus for Services. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy, Bartek Klin |
Preface. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg |
Automating Soundness Proofs. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Kerstin Strecker |
Relational Semantics Revisited. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg, Michel A. Reniers |
Structural Operational Semantics with First-Order Logic. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Mark J. New |
Implicit Propagation in Structural Operational Semantics. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo A. Ospina, Baudouin Le Charlier |
Formalisation of C Language Interfaces. |
SOS@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Irek Ulidowski (eds.) |
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005 |
SOS@ICALP |
2006 |
DBLP BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Prototyping SOS Meta-theory in Maude. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Irek Ulidowski |
Preface. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer |
Compositional Operational Semantics of a UML-Kernel-Model Language. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Axelle Ziegler, Dale Miller 0001, Catuscia Palamidessi |
A Congruence Format for Name-passing Calculi. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oana Andrei, Dorel Lucanu, Gabriel Ciobanu |
Operational Semantics and Rewriting Logic in Membrane Computing. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Hym, Matthew Hennessy |
Adding Recursion to Dpi: (Extended Abstract). |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence Applied to eta-Bisimulation. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ando Saabas, Tarmo Uustalu |
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Hierarchy of SOS Rule Formats. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Grigore Rosu |
The Rewriting Logic Semantics Project. |
SOS@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|