1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.MA2019
Immediate Observation in Mediated Population Protocols
Tobias Prehn, Myron Rotter
In this paper we analyze the computational power of variants of population protocols (PP), a formalism for distributed systems with anonymous agents having very limited capabilitie…
cs.LO2017★ 1 cited
Keep it Fair: Equivalences
Tobias Prehn, Stephan Mennicke
For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distribut…