Population protocols: expressiveness, succinctness and automatic verification.

von Jaax, Stefan
Veröffentlicht 2020

˜Derœ Hofgeismarkreis der Jungsozialisten und seine Nachwirkungen in der Weimarer Zeit

von Jax, Stefan
Veröffentlicht 1999

Running Time Analysis of Broadcast Consensus Protocols

von Czerner, Philipp
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs

von Esparza, Javier
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)