EPTCS 300
Proceedings Combined 26th International Workshop on
Expressiveness in Concurrency
and 16th Workshop on
Structural Operational Semantics
Amsterdam, The Netherlands, 26th August 2019
Edited by: Jorge A. Pérez and Jurriaan Rot
This volume contains the proceedings of EXPRESS/SOS 2019, the Combined 26th
International Workshop on Expressiveness in Concurrency and the 16th
Workshop on Structural Operational Semantics.
Following a long tradition,
EXPRESS/SOS 2019
was held as one of the affiliated workshops of
the 30th International Conference on Concurrency
Theory (CONCUR 2019), in Amsterdam (The Netherlands).
The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.
In particular,
topics of interest for the workshop include (but are not limited to):
- expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems);
- expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- comparisons between structural operational semantics and other formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural operational semantics.
This year, the Program Committee selected 6 submissions for inclusion in the scientific program---four full papers and the following two short papers:
-
Coherent Resolutions of Nondeterminism,
by Marco Bernardo.
-
A GSOS for Attribute-based Communication,
by Marino Miculan and Matteo Paier.
This volume contains revised versions of the four full papers
as well as contributed papers associated to
the following three invited presentations, which nicely complemented the scientific program:
- Cellular monads from Positive GSOS specifications, by Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France)
- Comparing Process Calculi Using Encodings, by Kirstin Peters (TU Berlin/TU Darmstadt, Germany)
- Semantic Structures for Spatially-Distributed Multi-Agent Systems, by
Frank Valencia (CNRS-LIX, Ecole Polytechnique de Paris, France and Univ. Javeriana Cali, Colombia)
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 2019 organizing committee 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.
Jorge A. Pérez and Jurriaan Rot,
August 2019
Program Committee
Roberto Bruni (Università di Pisa, Italy)
Ilaria Castellani (INRIA, France)
Valentina Castiglioni (Reykjavik University, Iceland)
Matteo Cimini (University of Massachusetts Lowell, US)
Emanuele D'Osualdo (Imperial College London, UK)
Adrian Francalanza (University of Malta, Malta)
Jean-Marie Madiot (INRIA, France)
Marino Miculan (University of Udine, Italy)
Mohammadreza Mousavi (University of Leicester, UK)
Jovanka Pantovic (University of Novi Sad, Serbia)
Jorge A. Pérez (University of Groningen, The Netherlands)
Jurriaan Rot (UCL, UK and Radboud University, The Netherlands)
Erik de Vink (Eindhoven University of Technology, The Netherlands)
Additional Reviewers
Mariangiola Dezani-Ciancaglini
Bartek Klin
Marina Lenisa
Simone Tini