Published: 6th September 2022
DOI: 10.4204/EPTCS.368
ISSN: 2075-2180


Proceedings Combined 29th International Workshop on
Expressiveness in Concurrency
and 19th Workshop on
Structural Operational Semantics
Warsaw, Poland, 12th September 2022

Edited by: Valentina Castiglioni and Claudio A. Mezzina

Invited Paper: Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
Clément Aubert, Ross Horne and Christian Johansen
Invited Paper: From Legal Contracts to Legal Calculi: the code-driven normativity
Silvia Crafa
A Generic Type System for Higher-Order Ψ-calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel and Stian Lybech
From CCS to CSP: the m-among-n Synchronisation Approach
Gerard Ekembe Ngondi, Vasileios Koutavas and Andrew Butterfield
Asynchronous Functional Sessions: Cyclic and Concurrent
Bas van den Heuvel and Jorge A. Pérez
Encodability and Separation for a Reflective Higher-Order Calculus
Stian Lybech
On the Expressiveness of Mixed Choice Sessions
Kirstin Peters and Nobuko Yoshida
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation
Anna Philippou and Kyriaki Psara


This volume contains the proceedings of EXPRESS/SOS 2022, the Combined 29th International Workshop on Expressiveness in Concurrency (EXPRESS) and the 19th Workshop on Structural Operational Semantics (SOS).

The first edition of EXPRESS/SOS was held in 2012, when the EXPRESS and SOS communities decided to organise an annual combined workshop bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Since then, EXPRESS/SOS was held as one of the affiliated workshops of the International Conference on Concurrency Theory (CONCUR). Following this tradition, EXPRESS/SOS 2022 was held affiliated to CONCUR 2022, as part of CONFEST 2022, in Warsaw, Poland.

The topics of interest for the EXPRESS/SOS workshop include (but are not limited to):

This volume contains revised versions of the six full papers selected by the Program Committee, as well as the following two invited papers, related to the topics presented by our invited speakers:

We would like to thank the authors of the submitted papers, the invited speakers, the members of the program committee, and their subreviewers for their contribution to both the meeting and this volume. We also thank the CONCUR 2022 and the CONFEST 2022 organizing committees for hosting the workshop. Finally, we would like to thank our EPTCS editor Rob van Glabbeek for publishing these proceedings and his help during the preparation.

Valentina Castiglioni and Claudio Antares Mezzina,
August 2022

Program Committee

Additional Reviewers

Vojtěch Havlena