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