|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Axiomatizing GSOS with Predicates ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011., pp. 1-15, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Formal Component-Based Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011., pp. 17-29, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Romero-Hernández, David de Frutos-Escrig |
On the Unification of Process Semantics: Logical Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011., pp. 47-61, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Asiri Rathnayake, Hayo Thielecke |
Regular Expression Matching and Operational Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011., pp. 31-45, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michel A. Reniers, Pawel Sobocinski 0001 (eds.) |
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers |
Hierarchical states in the Compositional Interchange Format ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 42-56, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 1-14, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Heindel |
Structural Decomposition of Reactions of Graph-Like Objects ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 26-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Gazda, Wan J. Fokkink |
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 15-25, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keiko Nakata 0001, Tarmo Uustalu |
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010., pp. 57-75, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Pawel Sobocinski 0001 (eds.) |
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir |
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 1-16, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Pawel Sobocinski 0001 (eds.) |
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michel A. Reniers, Tim A. C. Willemse |
Analysis of Boolean Equation Systems through Structure Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 92-107, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001 |
Causality in the Semantics of Esterel: Revisited ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 32-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Johansson, Björn Victor, Joachim Parrow |
A Fully Abstract Symbolic Semantics for Psi-Calculi ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 17-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Dowek, César A. Muñoz, Camilo Rocha |
Rewriting Logic Semantics of a Plan Execution Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 77-91, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
On Barbs and Labels in Reactive Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 46-61, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Iain C. C. Phillips, Irek Ulidowski |
Reverse Bisimulations on Stable Configuration Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 62-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rob van Glabbeek, Peter D. Mosses (eds.) |
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Luca Aceto, Wan J. Fokkink, Irek Ulidowski (eds.) |
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|