Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/journals/entcs

Publication years (Num. hits)
2004 (6) 2006 (8)
Publication types (Num. hits)
inproceedings(14)
Venues (Conferences, Journals, ...)
SOS@CONCUR(14)
Authors
Bartek Klin(2) Adrian Pop(1) Alberto Verdejo(1) Christiano Braga(1) Fabien Tarissan(1) Flemming Nielson(1) Hanne Riis Nielson(1) Henrik Pilegaard(1) Irek Ulidowski(1) Jean Krivine(1) Luca Aceto(1) Marija Kulas(1) Matthias Mann 0001(1) Michel A. Reniers(1) Mohammad Reza Mousavi 0001(1) Olivier Tardieu(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Christiano Braga, Alberto Verdejo Modular Structural Operational Semantics with Strategies. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vincent Danos, Jean Krivine, Fabien Tarissan Self-assembling Trees. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bartek Klin Bialgebraic Methods in Structural Operational Semantics: Invited Talk. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Peter D. Mosses Preface. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Mousavi 0001, Michel A. Reniers On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Adrian Pop, Peter Fritzson An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson Active Evaluation Contexts for Reaction Semantics. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Simone Tini Notes on Generative Probabilistic Bisimulation. Search on Bibsonomy SOS@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralf Lämmel Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olivier Tardieu A Deterministic Logical Semantics for Esterel. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Mann 0001 Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marija Kulas Toward the Concept of Backtracking Computation. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bartek Klin From Bialgebraic Semantics to Congruence Formats. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Wan J. Fokkink, Irek Ulidowski Preface. Search on Bibsonomy SOS@CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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