|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Vincent Danos |
Agile Modelling of Cellular Signalling (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 3-10, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
MarCaSPiS: a Markovian Extension of a Calculus for Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 11-26, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy, Bartek Klin |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg |
Automating Soundness Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 107-118, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Kerstin Strecker |
Relational Semantics Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 27-47, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg, Michel A. Reniers |
Structural Operational Semantics with First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 85-106, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Mark J. New |
Implicit Propagation in Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 49-66, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo A. Ospina, Baudouin Le Charlier |
Formalisation of C Language Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 67-84, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Prototyping SOS Meta-theory in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 135-150, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses, Irek Ulidowski |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 79-96, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Axelle Ziegler, Dale Miller 0001, Catuscia Palamidessi |
A Congruence Format for Name-passing Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 169-189, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oana Andrei, Dorel Lucanu, Gabriel Ciobanu |
Operational Semantics and Rewriting Logic in Membrane Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 57-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Hym, Matthew Hennessy |
Adding Recursion to Dpi: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 115-133, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence Applied to eta-Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 97-113, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ando Saabas, Tarmo Uustalu |
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 151-168, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Hierarchy of SOS Rule Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 3-25, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Grigore Rosu |
The Rewriting Logic Semantics Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 27-56, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|