Abstract is missing.
- Encoding Synchronous Interactions Using Labelled Petri NetsPaolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale. 1-16 [doi]
- Verifiable Decisions in Autonomous Concurrent SystemsLenz Belzner. 17-32 [doi]
- Coordination of ECA Rules by Verification and ControlJulio Cano, Gwenaël Delaval, Éric Rutten. 33-48 [doi]
- Progress as Compositional Lock-FreedomMarco Carbone, Ornela Dardha, Fabrizio Montesi. 49-64 [doi]
- Automata-Based Optimization of Interaction Protocols for Scalable Multicore PlatformsSung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab. 65-82 [doi]
- LINC: A Compact Yet Powerful Coordination EnvironmentMaxime Louvel, François Pacull. 83-98 [doi]
- Safe and Efficient Data Sharing for Message-Passing ConcurrencyBenjamin Morandi, Sebastian Nanz, Bertrand Meyer. 99-114 [doi]
- Affine SessionsDimitris Mostrous, Vasco Thudichum Vasconcelos. 115-130 [doi]
- Multiparty Session ActorsRumyana Neykova, Nobuko Yoshida. 131-146 [doi]
- Typing Liveness in Multiparty Communicating SystemsLuca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira. 147-162 [doi]
- A Calculus of Self-stabilising Computational FieldsMirko Viroli, Ferruccio Damiani. 163-178 [doi]
- The Stochastic Quality CalculusKebin Zeng, Flemming Nielson, Hanne Riis Nielson. 179-193 [doi]