Asynchronous distributed execution of fixpoint-based computational fields

DOI10.23638/LMCS-13(1:13)2017MaRDI QIDQ2980978zbMATH OpenFDO

Authors Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari

Publication date 8 May 2017

Full work available at URL https://arxiv.org/abs/1610.00253

zbMATH Keywords

computational fieldscoordinationdistributed computingdistributed graph algorithmsmodal logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• From distributed coordination to field calculus and aggregate computing
• A higher-order calculus of computational fields
• Type-based self-stabilisation for computational fields
• A coordination approach to mobile components
• Interaction in time and space

Cites work

• Distributed asynchronous computation of fixed points
• Field-Based Coordination for Pervasive Multiagent Systems
• Finite termination of asynchronous iterative algorithms
• Power domains
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Semantics with applications: an appetizer.
• Semiring-based constraint satisfaction and optimization
• T-Man: Gossip-based fast overlay topology construction
• Termination detection for diffusing computations
• Type-based self-stabilisation for computational fields

Cited in

(12)

• From distributed coordination to field calculus and aggregate computing
• Type-based self-stabilisation for computational fields
• scientific article; zbMATH DE number 5547971 (Why is no real title available?)
• A higher-order calculus of computational fields
• Time-fluid field-based coordination through programmable distributed schedulers
• Field-based coordination with the share operator
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• On a higher-order calculus of computational fields
• FBFL: a field-based coordination approach for data heterogeneity in federated learning
• Programming distributed collective processes in the exchange calculus
• \textsc{MacroSwarm}: a field-based compositional framework for swarm programming
• The \(\mu \mathcal{G}\) language for programming graph neural networks

Describes a project that uses

Uses Software

• AVOCLOUDY
• Pregel

This page was built for publication: Asynchronous distributed execution of fixpoint-based computational fields

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