Asynchronous distributed execution of fixpoint-based computational fields
From MaRDI portal
Publication:2980978
DOI10.23638/LMCS-13(1:13)2017zbMATH Open1398.68369arXiv1610.00253MaRDI QIDQ2980978FDOQ2980978
Authors: Alberto Lluch Lafuente, Michele Loreti, Ugo Montanari 
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1610.00253
Recommendations
Distributed algorithms (68W15) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Semantics with applications: an appetizer.
- Distributed asynchronous computation of fixed points
- Semiring-based constraint satisfaction and optimization
- Termination detection for diffusing computations
- T-Man: Gossip-based fast overlay topology construction
- Power domains
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Field-Based Coordination for Pervasive Multiagent Systems
- Finite termination of asynchronous iterative algorithms
- Type-based self-stabilisation for computational fields
Cited In (8)
- Title not available (Why is that?)
- Type-based self-stabilisation for computational fields
- A higher-order calculus of computational fields
- From distributed coordination to field calculus and aggregate computing
- Title not available (Why is that?)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
- On a higher-order calculus of computational fields
- Title not available (Why is that?)
Uses Software
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)
