scientific article
From MaRDI portal
Publication:2980978
DOI10.23638/LMCS-13(1:13)2017zbMath1398.68369arXiv1610.00253MaRDI QIDQ2980978
Michele Loreti, Alberto Lluch Lafuente, Ugo Montanari
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1610.00253
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)
Related Items (4)
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala ⋮ Unnamed Item ⋮ From distributed coordination to field calculus and aggregate computing ⋮ Unnamed Item
Uses Software
Cites Work
- Finite termination of asynchronous iterative algorithms
- T-Man: Gossip-based fast overlay topology construction
- Semantics with applications: an appetizer.
- Termination detection for diffusing computations
- Power domains
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Type-based Self-stabilisation for Computational Fields
- Distributed asynchronous computation of fixed points
- Semiring-based constraint satisfaction and optimization
- Field-Based Coordination for Pervasive Multiagent Systems
This page was built for publication:
