Abstract is missing.
- Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol ProgrammingChristopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab. 3-29 [doi]
- Formalizing Errors in CCS with 3-Valued LogicAlessandro Aldini, Claudio Antares Mezzina. 30-49 [doi]
- Verified Parameterized ChoreographiesRobert Rubbens, Petra van den Bos, Marieke Huisman. 50-69 [doi]
- A Constraint Opinion ModelFabio Gadducci, Carlos Olarte, Frank Valencia. 70-89 [doi]
- Mimosa: A Language for Asynchronous Implementation of Embedded Systems SoftwareNikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi 0001. 90-113 [doi]
- Declarative Deployment Planning for Green Pulverised Collective Computational SystemsAntonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti 0002, Mirko Viroli. 114-132 [doi]
- Decidability Problems for Micro-StipulaGiorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro. 133-152 [doi]
- Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of ServicesCarlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto. 153-174 [doi]
- Dialects for the CoAP IoT Messaging ProtocolCarolyn L. Talcott. 175-196 [doi]
- DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and ObjectsTilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt. 197-216 [doi]
- RebeCaosJosé Proença, Maurice H. ter Beek. 219-229 [doi]
- A Demonstrator for Self-organizing Robot TeamsGianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli. 230-244 [doi]