Efficient Restrictions of Immediate Observation Petri Nets

von Raskin, Michael
Veröffentlicht in RP (14. : 2020 : Online) Reachability problems (2020)

Parameterized Analysis of Reconfigurable Broadcast Networks

von Balasubramanian, A. R.
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)