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

zbMATH Keywords

formation controlmulti-agent systemsensemblescollective processescollective computingprogramming languages and self-organisation

Mathematics Subject Classification ID

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

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)