TY  - RPRT
TI  - On Propositional Dynamic Logic and Concurrency
AU  - Matteo Acclavio
AU  - Fabrizio Montesi
AU  - Marco Peressotti
PY  - 2026
UR  - https://arxiv.org/abs/2403.18508
ID  - 2403.18508
ER  -