|
|
|
|
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  |
SOS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Formal Component-Based Semantics |
SOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Romero-Hernández, David de Frutos-Escrig |
On the Unification of Process Semantics: Logical Semantics |
SOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asiri Rathnayake, Hayo Thielecke |
Regular Expression Matching and Operational Semantics |
SOS |
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. |
SOS |
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 |
SOS |
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 |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Heindel |
Structural Decomposition of Reactions of Graph-Like Objects |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Gazda, Wan J. Fokkink |
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics |
SOS |
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 |
SOS |
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. |
SOS |
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 |
SOS |
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. |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel A. Reniers, Tim A. C. Willemse |
Analysis of Boolean Equation Systems through Structure Graphs |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001 |
Causality in the Semantics of Esterel: Revisited |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Johansson, Björn Victor, Joachim Parrow |
A Fully Abstract Symbolic Semantics for Psi-Calculi |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, César A. Muñoz, Camilo Rocha |
Rewriting Logic Semantics of a Plan Execution Language |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
On Barbs and Labels in Reactive Systems |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain C. C. Phillips, Irek Ulidowski |
Reverse Bisimulations on Stable Configuration Structures |
SOS |
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 |
SOS |
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 |
SOS |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license