Login / Signup
SOS
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)