Immediate observation in mediated population protocols

MaRDI QIDQ3385654zbMATH OpenFDO

Authors Tobias Prehn, Myron Rotter

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1908.08637, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.7

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)

Recommendations

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

Cites work

• Computation in networks of passively mobile finite-state sensors
• Computation in networks of passively mobile finite-state sensors
• Fast and exact majority in population protocols
• Mediated population protocols
• Mediated population protocols: leader election and applications
• The computational power of population protocols
• Towards a unified approach to encodability and separation results for process calculi
• Verification of population protocols

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)