Population Protocols with Unreliable Communication

von Raskin, Mikhail
Veröffentlicht in ALGOSENSORS (17. : 2021 : Online) Algorithms for Sensor Systems (2021)

Computing Parameterized Invariants of Parameterized Petri Nets

von Esparza, Javier
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

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