Skip to content

International Conference on Coordination Models and Languages

Coordination

C

CORE rank

CORE rank (raw)

C

Fields of research

Distributed Computing and Systems Software

Papers indexed

529

1996–2026

Papers per year

199635 peak2026

Coordination papers

529 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2019CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications.Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2019The share Operator for Field-Based Coordination.Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2018From Field-Based Coordination to Aggregate Computing.Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2018Boosting Transactional Memory with Stricter Serializability.Pierre Sutra, Patrick Marlier, Valerio Schiavoni, Franois Trahay
2018A Formal Approach to the Engineering of Domain-Specific Distributed Systems.Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2018Distributed Coordination Runtime Assertions for the Peer Model.Eva Khn, Sophie Therese Radschek, Nahla A. El-Araby
2018Aggregation Policies for Tuple Spaces.Linas Kaminskas, Alberto Lluch-Lafuente
2018Active Objects for Coordinating BSP Computations (Short Paper).Gatan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen
2018Forward to a Promising Future.Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo
2018Rule-Based Form for Stream Constraints.Kasper Dokter, Farhad Arbab
2018On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
2018Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives.Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli
2018Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.Mario Bravetti, Gianluigi Zavattaro
2018Space-Time Universality of Field Calculus.Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
2017Spatial Edge Services - From Coordination Model to Actual Applications.Giovanna Di Marzo Serugendo
2017AErlang: Empowering Erlang with Attribute-Based Communication.Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017Development Tools for Rule-Based Coordination Programming in LINC.Maxime Louvel, Franois Pacull, ric Rutten, Adja Ndeye Sylla
2017Simpler Coordination of JavaScript Web Workers.Marco Krauweel, Sung-Shik T. Q. Jongmans
2017Session-ocaml: A Session-Based Library with Polarities and Lenses.Keigo Imai, Nobuko Yoshida, Shoji Yuen
2017A Denotational View of Replicated Data Types.Fabio Gadducci, Hernn C. Melgratti, Christian Roldn
2017Verifying Timed BPMN Processes Using Maude.Francisco Durn, Gwen Salan
2017Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included.Antonio Brogi, Andrea Canciani, Jacopo Soldani
2017Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies.Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
2017Full-Abstraction for Must Testing Preorders - (Extended Abstract).Giovanni Bernardi, Adrian Francalanza
2017Communication Requirements for Team Automata.Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
126150 of 529← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.