Published: 9th August 2016
DOI: 10.4204/EPTCS.222
ISSN: 2075-2180


Proceedings Combined 23rd International Workshop on
Expressiveness in Concurrency
and 13th Workshop on
Structural Operational Semantics
Québec City, Canada, 22nd August 2016

Edited by: Daniel Gebler and Kirstin Peters

A Note on the Expressiveness of BIP
Eduard Baranov and Simon Bliudze
Higher-order Processes with Parameterization over Names and Processes
Xian Xu
Self-Similarity Breeds Resilience
Sanjiva Prasad and Lenore D. Zuck
Unique Parallel Decomposition for the Pi-calculus
Matias David Lee and Bas Luttik
Reversible Multiparty Sessions with Checkpoints
Mariangiola Dezani-Ciancaglini and Paola Giannini


This volume contains the proceedings of the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) which was held on 22 August 2016 in Québec, Canada, as an affiliated workshop of CONCUR 2016, the 27th 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 nine full paper submissions out of which the programme committee selected five for publication and presentation at the workshop. These proceedings contain these selected contributions. The workshop had an invited presentation:

What Do Probabilistic Programs Mean?,

by Joost-Pieter Katoen (RWTH Aachen University, Germany)

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 2016 organizing committee for hosting EXPRESS/SOS 2016. Finally, we would like to thank our EPTCS editor Rob van Glabbeek for publishing these proceedings and his help during the preparation.

Daniel E. Gebler and Kirstin Peters,
August 2016.

Program Committee

Ilaria Castellani (INRIA Sophia Antipolis, France)
Matteo Cimini (Indiana University, Bloomington, Indiana)
Ornela Dardha (University of Glasgow, UK)
Pedro R. D’Argenio (University of Córdoba, Argentina)
Simone Tini (Università degli Studi dell’Insubria, Italia)
Daniel Gebler (VU University Amsterdam, The Netherlands)
Tobias Heindel (IT University of Copenhagen, Denmark)
Thomas T. Hildebrandt (IT University of Copenhagen, Denmark)
Daniel Hirschkoff (ENS Lyon, France)
Jorge A. Pérez (University of Groningen, The Netherlands)
Kirstin Peters (Technische Universität Berlin, Germany)
Alexandra Silva (University College London, UK)
Pawel Sobocinski (University of Southampton, UK)

Additional Reviewers

Emmanuel Beffara
Laura Bocchi
Marco Carbone
Sofia Cassel
Luca Padovani
Roly Perera
Valeria Vignudelli