\textsc{MacroSwarm}: a field-based compositional framework for swarm programming

DOI10.46298/LMCS-21(3:13)2025MaRDI QIDQ6925622zbMATH OpenFDO

Authors Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Publication date 25 September 2025

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(3:13)2025

Mathematics Subject Classification ID

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

Cites work

• A higher-order calculus of computational fields
• Asynchronous distributed execution of fixpoint-based computational fields
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• Model checking spatial logics for closure spaces
• Petri nets, event structures and domains. I
• Time-fluid field-based coordination through programmable distributed schedulers

Cited in

(1)

• FBFL: a field-based coordination approach for data heterogeneity in federated learning

This page was built for publication: \textsc{MacroSwarm}: a field-based compositional framework for swarm programming

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