Login / Signup
SOS
2005
2008
2011
2005
2011
Keyphrases
Publications
2011
Luca Aceto
,
Georgiana Caltais
,
Eugen-Ioan Goriac
,
Anna Ingólfsdóttir
Axiomatizing GSOS with Predicates
SOS
(2011)
Ken Madlener
,
Sjaak Smetsers
,
Marko C. J. D. van Eekelen
Formal Component-Based Semantics
SOS
(2011)
David Romero-Hernández
,
David de Frutos-Escrig
On the Unification of Process Semantics: Logical Semantics
SOS
(2011)
Asiri Rathnayake
,
Hayo Thielecke
Regular Expression Matching and Operational Semantics
SOS
(2011)
volume 62, 2011
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011.
SOS
62 (2011)
2010
Harsh Beohar
,
D. E. Nadales Agut
,
Dirk A. van Beek
,
Pieter J. L. Cuijpers
Hierarchical states in the Compositional Interchange Format
SOS
(2010)
Ignacio Fábregas
,
David de Frutos-Escrig
,
Miguel Palomino
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
SOS
(2010)
Tobias Heindel
Structural Decomposition of Reactions of Graph-Like Objects
SOS
(2010)
Maciej Gazda
,
Wan J. Fokkink
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics
SOS
(2010)
Keiko Nakata
,
Tarmo Uustalu
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
SOS
(2010)
volume 32, 2010
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010.
SOS
32 (2010)
2009
Luca Aceto
,
Matteo Cimini
,
Anna Ingólfsdóttir
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
SOS
(2009)
Michel A. Reniers
,
Tim A. C. Willemse
Analysis of Boolean Equation Systems through Structure Graphs
SOS
(2009)
Mohammad Reza Mousavi
Causality in the Semantics of Esterel: Revisited
SOS
(2009)
Magnus Johansson
,
Björn Victor
,
Joachim Parrow
A Fully Abstract Symbolic Semantics for Psi-Calculi
SOS
(2009)
Gilles Dowek
,
César A. Muñoz
,
Camilo Rocha
Rewriting Logic Semantics of a Plan Execution Language
SOS
(2009)
Filippo Bonchi
,
Fabio Gadducci
,
Giacoma Valentina Monreale
On Barbs and Labels in Reactive Systems
SOS
(2009)
Iain C. C. Phillips
,
Irek Ulidowski
Reverse Bisimulations on Stable Configuration Structures
SOS
(2009)
volume 18, 2009
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009.
SOS
18 (2009)