default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCOORDINATION 2026: Urbino, Italy
- Roberto Casadei
, Fatemeh Ghassemi:
Coordination Models and Languages - 28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings. Lecture Notes in Computer Science 16590, Springer 2026, ISBN 978-3-032-28357-3
Theoretical Foundations and Models for Distributed Systems
- Neda Saeedloei, Feliks Kluzniak:
Timed Scenario Expressions and Realisability. 3-25 - Isabelle Coget, Étienne Lozes:
HistMSO: a Logic for Reasoning About Consistency Models with MONA. 26-46 - Simon Bliudze, Sophie Cerf, Olga Kouchnarenko:
Motif Refinement for the Hierarchical Control of Structured CPSs. 47-69
Distributed Algorithms for Collective Adaptive Systems
- Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, Gianluca Torta:
Aggregate Indoor Localisation. 73-92 - Angela Cortecchia, Danilo Pianini, Mirko Viroli:
A Self-stabilizing Min-Max Consensus via Path-Loop Detection. 93-114
Simulation Tools and Methodologies for Collective Adaptive Systems
- Nicolas Farabegoli, Luca Tassinari, Gianluca Aguzzi, Mirko Viroli:
ScalaTropy: Multiparty Coordination with Monadic Communication Primitives. 115-135 - Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof:
Bach4Popper: Towards Federated Inductive Logic Programming Using Coordination. 136-156 - Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto:
Runtime Adaptation as a Programming Pattern in Service Composition. 157-173 - Gianluca Aguzzi, Davide Domini, Nicolas Farabegoli, Mirko Viroli:
Phyelds: A Pythonic Framework for Aggregate Computing. 174-191
Coordination Languages, Frameworks, and Patterns
- Edgard Schiebelbein, Annette Bieniusa, Simon Fowler:
Proof of Delivery: Mechanized Mailbox Types. 195-215 - Reiner Hähnle, Cosimo Laneve:
Deductive Verification of Legal Contracts. 216-237
Formal Verification in Coordination Languages
- Riccardo Petracci, Nicola Del Giudice, Diletta Romana Cacciagrano, Michele Loreti:
Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA. 241-262 - Filippo Gurioli, Martina Baiardi, Angela Cortecchia, Danilo Pianini:
High-Fidelity Simulation of Aggregate Computing Systems with Collektivity. 263-281
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-19 01:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
