Programming distributed collective processes in the exchange calculus

DOI10.46298/LMCS-21(4:3)2025MaRDI QIDQ6858454zbMATH OpenFDO

Authors Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

Publication date 13 February 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(4:3)2025

zbMATH Keywords

collective computingcollective processesensemblesformation controlmulti-agent systemsprogramming languages and self-organisation

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A hierarchy of temporal logics with past
• A one-pass tree-shaped tableau for LTL+past
• Asynchronous distributed execution of fixpoint-based computational fields
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• From distributed coordination to field calculus and aggregate computing
• scientific article; zbMATH DE number 2090911 (Why is no real title available?)
• Model checking spatial logics for closure spaces
• Petri nets, event structures and domains. I
• Robustness of the Adaptive Bellman –Ford Algorithm: Global Stability and Ultimate Bounds
• Specifying and Verifying Properties of Space
• The internet of things: a survey
• Time-fluid field-based coordination through programmable distributed schedulers
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Programming distributed collective processes in the exchange calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6858454)