Published: 11th August 2010|
|Preface 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||1|
|Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics Maciej Gazda and Wan Fokkink||15|
|Structural Decomposition of Reactions of Graph-Like Objects Tobias Heindel||26|
|Hierarchical states in the Compositional Interchange Format H. Beohar, D.E. Nadales Agut, D.A. van Beek and P.J.L. Cuijpers||42|
|Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu||57|
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: