Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOS@LICS/ICALP"( http://dblp.L3S.de/Venues/SOS@LICS/ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sos

Publication years (Num. hits)
2007 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
SOS@LICS/ICALP(11)
Authors
Matthew Hennessy(2) Astrid Kiehn(1) Carlos Gregorio-Rodríguez(1) David de Frutos-Escrig(1) Grigore Rosu(1) Harald Fecher(1) Heiko Schmidt(1) Iain Phillips 0001(1) Irek Ulidowski(1) Jesper Bengtson(1) Joachim Parrow(1) José Meseguer 0001(1) Michel A. Reniers(1) Mohammad Reza Mousavi 0001(1) Patrick Cousot(1) Pawel Sobocinski 0001(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001 A Rewriting Logic Approach to Operational Semantics (Extended Abstract). Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harald Fecher, Heiko Schmidt Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jesper Bengtson, Joachim Parrow A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Astrid Kiehn An Operational Semantics for Shared Messaging Communication. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Mousavi 0001, Michel A. Reniers A Congruence Rule Format with Universal Quantification. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Matthew Hennessy Preface. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pawel Sobocinski 0001 A Well-behaved LTS for the Pi-calculus: (Abstract). Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Bi-inductive Structural Semantics: (Extended Abstract). Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Iain Phillips 0001, Irek Ulidowski Reversibility and Models for Concurrency. Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David de Frutos-Escrig, Carlos Gregorio-Rodríguez Simulations Up-to and Canonical Preorders: (Extended Abstract). Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rob van Glabbeek, Matthew Hennessy (eds.) Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007 Search on Bibsonomy SOS@LICS/ICALP The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license