scientific article
From MaRDI portal
Publication:3385654
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.08637
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Verification of population protocols
- Mediated population protocols
- The computational power of population protocols
- Towards a unified approach to encodability and separation results for process calculi
- Computation in networks of passively mobile finite-state sensors
- Fast and Exact Majority in Population Protocols
- Mediated Population Protocols: Leader Election and Applications
- Computation in networks of passively mobile finite-state sensors
This page was built for publication:
