Immediate observation in mediated population protocols

MaRDI QIDQ3385654FDOQ3385654

Authors: Tobias Prehn, Myron Rotter 

Publication date: 20 December 2021

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

Recommendations

• Mediated population protocols
• Mediated Population Protocols
• Verification of Immediate Observation Population Protocols
• Recent Advances in Population Protocols
• Population protocols and related models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Computation in networks of passively mobile finite-state sensors
• The computational power of population protocols
• Mediated 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
• Verification of population protocols
• Mediated population protocols: leader election and applications

Cited In (1)

• Verification of Immediate Observation Population Protocols

This page was built for publication: Immediate observation in mediated population protocols

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