Published: 15th February 2010
DOI: 10.4204/EPTCS.18
ISSN: 2075-2180

EPTCS 18

Proceedings Sixth Workshop on
Structural Operational Semantics
Bologna, Italy, August 31, 2009

Edited by: Bartek Klin and Paweł Sobociński

Preface
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

Preface

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:

and by outside referees, whose help is gratefully acknowledged.