Abstract is missing.
- Representing Dependencies in Event StructuresG. Michele Pinna. 3-18 [doi]
- Reversing P/T NetsHernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski. 19-36 [doi]
- Towards Races in Linear LogicWen Kokke, J. Garrett Morris, Philip Wadler. 37-53 [doi]
- The share Operator for Field-Based CoordinationGiorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli. 54-71 [doi]
- Scan: A Simple Coordination WorkbenchJean-Marie Jacquet, Manel Barkallah. 75-91 [doi]
- CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed ApplicationsMarco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli. 92-108 [doi]
- ABEL - A Domain Specific Framework for Programming with Attribute-Based CommunicationRocco De Nicola, Tan Duong, Michele Loreti. 111-128 [doi]
- Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and ChoreographiesDavide Basile, Maurice H. ter Beek, Rosario Pugliese. 129-147 [doi]
- No More, No Less - A Formal Model for Serverless ComputingMaurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro. 148-157 [doi]
- Verification of Concurrent Design Patterns with DataSimon Bliudze, Ludovic Henrio, Eric Madelaine. 161-181 [doi]
- Self-organising Coordination Regions: A Pattern for Edge ComputingRoberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali. 182-199 [doi]
- Aggregate Processes in Field CalculusRoberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani. 200-217 [doi]
- Automatic Quality-of-Service Evaluation in Service-Oriented ComputingAgustín E. Martinez Suñé, Carlos Gustavo Lopez Pombo. 221-236 [doi]
- DiRPOMS: Automatic Checker of Distributed Realizability of POMSetsRoberto Guanciale. 237-249 [doi]
- Coordination of Tasks on a Real-Time OSGuillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst. 250-266 [doi]