Published: 15th February 2010|
|A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages Luca Aceto, Matteo Cimini and Anna Ingolfsdottir||1|
|A Fully Abstract Symbolic Semantics for Psi-Calculi Magnus Johansson, Björn Victor and Joachim Parrow||17|
|Causality in the Semantics of Esterel: Revisited MohammadReza Mousavi||32|
|On Barbs and Labels in Reactive Systems Filippo Bonchi, Fabio Gadducci and Giacoma Valentina Monreale||46|
|Reverse Bisimulations on Stable Configuration Structures Iain Phillips and Irek Ulidowski||62|
|Rewriting Logic Semantics of a Plan Execution Language Gilles Dowek, César Muñoz and Camilo Rocha||77|
|Analysis of Boolean Equation Systems through Structure Graphs Michel A. Reniers and Tim A.C. Willemse||92|
This volume contains the preliminary proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics, held on the 31st of August 2009 in Bologna, Italy as an affiliated workshop of CONCUR 2009, the 20th 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 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'09 featured invited lectures by Rob van Glabbeek and Paul Blain Levy (jointly with ICE'09).
The submitted papers were carefully refereed by the programme committee: