Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Giovanna Di Marzo Serugendo, Michele Loreti, editors, Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Volume 10852 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Conference: coordination2018

Abstract is missing.

Space-Time Universality of Field CalculusGiorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli. 1-20 [doi]

Foundations of Coordination and Contracts and Their Contribution to Session Type TheoryMario Bravetti, Gianluigi Zavattaro. 21-50 [doi]

Twenty Years of Coordination Technologies: State-of-the-Art and PerspectivesGiovanni Ciatto, Stefano Mariani 0001, Maxime Louvel, Andrea Omicini, Franco Zambonelli. 51-80 [doi]

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness StudyDenis Darquennes, Jean-Marie Jacquet, Isabelle Linden. 81-109 [doi]

A Formal Approach to the Engineering of Domain-Specific Distributed SystemsRocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi. 110-141 [doi]

Rule-Based Form for Stream ConstraintsKasper Dokter, Farhad Arbab. 142-161 [doi]

Forward to a Promising FutureKiko Fernandez-Reyes, Dave Clarke 0001, Elias Castegren, Huu-Phuc Vo. 162-180 [doi]

Aggregation Policies for Tuple SpacesLinas Kaminskas, Alberto Lluch-Lafuente. 181-199 [doi]

Distributed Coordination Runtime Assertions for the Peer Modeleva Kühn, Sophie Therese Radschek, Nahla Elaraby. 200-219 [doi]

Active Objects for Coordinating BSP Computations (Short Paper)Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen. 220-230 [doi]

Boosting Transactional Memory with Stricter SerializabilityPierre Sutra, Patrick Marlier, Valerio Schiavoni, François Trahay. 231-251 [doi]

From Field-Based Coordination to Aggregate ComputingMirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini. 252-279 [doi]

runs on WebDSL