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

distributed computingcoordinationmodal logicsdistributed graph algorithmscomputational fields

Mathematics Subject Classification ID

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

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

(8)

• scientific article; zbMATH DE number 5547971 (Why is no real title available?)
• Type-based self-stabilisation for computational fields
• A higher-order calculus of computational fields
• From distributed coordination to field calculus and aggregate computing
• scientific article; zbMATH DE number 7269248 (Why is no real title available?)
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• On a higher-order calculus of computational fields
• scientific article; zbMATH DE number 7471673 (Why is no real title available?)

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)