Abstract is missing.
- Spatial Edge Services - From Coordination Model to Actual ApplicationsGiovanna Di Marzo Serugendo. 3-17 [doi]
- AErlang: Empowering Erlang with Attribute-Based CommunicationRocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani. 21-39 [doi]
- Simpler Coordination of JavaScript Web WorkersMarco Krauweel, Sung-Shik T. Q. Jongmans. 40-58 [doi]
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information SpeedGiorgio Audrito, Ferruccio Damiani, Mirko Viroli. 59-77 [doi]
- Development Tools for Rule-Based Coordination Programming in LINCMaxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla. 78-96 [doi]
- Session-ocaml: A Session-Based Library with Polarities and LensesKeigo Imai, Nobuko Yoshida, Shoji Yuen. 99-118 [doi]
- Retractable and Speculative ContractsFranco Barbanera, Ivan Lanese, Ugo de'Liguoro. 119-137 [doi]
- A Denotational View of Replicated Data TypesFabio Gadducci, Hernán C. Melgratti, Christian Roldán. 138-156 [doi]
- Many-to-Many Information Flow PoliciesPaolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente. 159-177 [doi]
- Modelling the Dynamic Reconfiguration of Application Topologies, Faults IncludedAntonio Brogi, Andrea Canciani, Jacopo Soldani. 178-196 [doi]
- Constraint-Flow Nets: A Model for Building Constraints from Resource DependenciesSimon Bliudze, Alena Simalatsar, Alina Zolotukhina. 197-216 [doi]
- Verifying Timed BPMN Processes Using MaudeFrancisco Durán, Gwen Salaün. 219-236 [doi]
- Full-Abstraction for Must Testing Preorders - (Extended Abstract)Giovanni Bernardi, Adrian Francalanza. 237-255 [doi]
- Communication Requirements for Team AutomataMaurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn. 256-277 [doi]