COORDINATION C

15 papers

YearTitle / Authors
2017A Denotational View of Replicated Data Types.
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
2017AErlang: Empowering Erlang with Attribute-Based Communication.
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017Communication Requirements for Team Automata.
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
2017Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies.
Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
2017Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Jean-Marie Jacquet, Mieke Massink
2017Development Tools for Rule-Based Coordination Programming in LINC.
Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla
2017Full-Abstraction for Must Testing Preorders - (Extended Abstract).
Giovanni Bernardi, Adrian Francalanza
2017Many-to-Many Information Flow Policies.
Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
2017Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included.
Antonio Brogi, Andrea Canciani, Jacopo Soldani
2017Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017Retractable and Speculative Contracts.
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2017Session-ocaml: A Session-Based Library with Polarities and Lenses.
Keigo Imai, Nobuko Yoshida, Shoji Yuen
2017Simpler Coordination of JavaScript Web Workers.
Marco Krauweel, Sung-Shik T. Q. Jongmans
2017Spatial Edge Services - From Coordination Model to Actual Applications.
Giovanna Di Marzo Serugendo
2017Verifying Timed BPMN Processes Using Maude.
Francisco Durán, Gwen Salaün