Published: 26th August 2015
DOI: 10.4204/EPTCS.190
ISSN: 2075-2180


Proceedings of the Combined 22th International Workshop on
Expressiveness in Concurrency
and 12th Workshop on
Structural Operational Semantics
Madrid, Spain, 31st August 2015

Edited by: Silvia Crafa and Daniel E. Gebler

Comparing Deadlock-Free Session Typed Processes
Ornela Dardha and Jorge A. Pérez
On Compensation Primitives as Adaptable Processes
Jovana Dedeić, Jovanka Pantović and Jorge A. Pérez
SOS rule formats for convex and abstract probabilistic bisimulations
Pedro R. D'Argenio, Matias David Lee and Daniel Gebler
Analysing and Comparing Encodability Criteria
Kirstin Peters and Rob van Glabbeek
Encoding CSP into CCS
Meike Hatzel, Christoph Wagner, Kirstin Peters and Uwe Nestmann
Encoding the Factorisation Calculus
Reuben N. S. Rowe


This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid, Spain, as an affiliated workshop of CONCUR 2015, the 26th International Conference on Concurrency Theory.

The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed.

The SOS workshops aim at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the SOS workshop series is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Reports on applications of SOS to other fields are also most welcome, including: modelling and analysis of biological systems, security of computer systems programming, modelling and analysis of embedded systems, specification of middle-ware and coordination languages, programming language semantics and implementation, static analysis software and hardware verification, semantics for domain-specific languages and model-based engineering.

Since 2012, the EXPRESS and SOS communities have organized an annual combined EXPRESS/SOS workshop on the expressiveness of mathematical models of computation and the formal semantics of systems and programming concepts.

We received ten full paper submissions out of which the programme committee selected six for publication and presentation at the workshop. These proceedings contain these selected contributions. The workshop had an invited presentation:

Bisimulation techniques in probabilistic higher-order languages,

by Davide Sangiorgi (Universita' di Bologna)

We would like to thank the authors of the submitted papers, the invited speaker, the members of the programme committee, and their subreviewers for their contribution to both the meeting and this volume. We also thank the CONCUR 2015 organizing committee for hosting EXPRESS/SOS 2015. Finally, we would like to thank our EPTCS editor Rob van Glabbeek for publishing these proceedings and his help during the preparation.

Silvia Crafa and Daniel E. Gebler,
August 2015.

Program Committee

Johannes Borgstrom (Uppsala University, Sweden)
Matteo Cimini (Indiana University, Bloomington, Indiana)
Silvia Crafa (University of Padova, Italy)
Pedro R. D'Argenio (University of Cordoba, Argentina)
Daniel Gebler (VU University Amsterdam, The Nederlands)
Thomas Given-Wilson (Inria, France)
Thomas T. Hildebrandt (IT University of Copenhagen, Denmark)
Daniel Hirschkoff (ENS Lyon, France)
Stefan Milius (University of Erlangen-Nurnberg, Germany)
Mohammad R. Mousavi (Halmstad University, Sweden)
Kirstin Peters (Technical University of Berlin, Germany)
Damien Pous (ENS Lyon, France)
Irek Ulidowski (University of Leister, United Kingdom)

Additional Reviewers

Massimo Bartoletti
Paul Brunet
Cinzia Di Giusto
Carla Ferreira
Daniele Gorla
Barry Jay
Johannes Aman Pohjola