Published: 22nd August 2019
DOI: 10.4204/EPTCS.300
ISSN: 2075-2180

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

Preface
Jorge A. Pérez and Jurriaan Rot
Invited Presentation: Cellular Monads from Positive GSOS Specifications
Tom Hirschowitz
1
Invited Presentation: Comparing Process Calculi Using Encodings
Kirstin Peters
19
Invited Presentation: Semantic Structures for Spatially-Distributed Multi-Agent Systems
Frank Valencia
39
Distribution of Behaviour into Parallel Communicating Subsystems
Omar al Duhaiby and Jan Friso Groote
54
On the Meaning of Transition System Specifications
Rob van Glabbeek
69
Conflict vs Causality in Event Structures
Daniele Gorla, Ivano Salvo and Adolfo Piperno
86
Immediate Observation in Mediated Population Protocols
Tobias Prehn and Myron Rotter
102

Preface

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):

This year, the Program Committee selected 6 submissions for inclusion in the scientific program---four full papers and the following two short papers:

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:

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