Published: 11th August 2010
DOI: 10.4204/EPTCS.32
ISSN: 2075-2180


Proceedings Seventh Workshop on
Structural Operational Semantics
Paris, France, 30 August 2010

Edited by: Luca Aceto and Paweł Sobociński

Luca Aceto and Paweł Sobociński
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
Ignacio Fábregas, David de Frutos Escrig and Miguel Palomino
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics
Maciej Gazda and Wan Fokkink
Structural Decomposition of Reactions of Graph-Like Objects
Tobias Heindel
Hierarchical states in the Compositional Interchange Format
H. Beohar, D.E. Nadales Agut, D.A. van Beek and P.J.L. Cuijpers
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
Keiko Nakata and Tarmo Uustalu


This volume contains the proceedings of SOS 2010, the Seventh Workshop on Structural Operational Semantics, held on the 30th of August 2010 in Paris, France as an affiliated workshop of CONCUR 2010, the 21st International Conference on Concurrency Theory.

Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs and in proving compiler correctness. Recently it has been applied in emerging areas such as probabilistic systems and systems biology.

The workshop is a forum for researchers, students and practitioners interested in new developments and directions for future investigations. One of the specific goals of the workshop is to provide a meeting point for the concurrency and programming language communities. Another goal is the dissemination of the theory and practice of SOS amongst postgraduate students and young researchers worldwide.

SOS'10 featured invited lectures by MohammadReza Mousavi and Catuscia Palamidessi (jointly with EXPRESS'10).

The submitted papers were carefully refereed by the programme committee:

and by outside referees, whose help is gratefully acknowledged.