TY  - RPRT
TI  - On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues
AU  - Manel Barkallah
AU  - Jean-Marie Jacquet
PY  - 2023
DO  - 10.4204/eptcs.383.4
UR  - https://arxiv.org/abs/2308.10655
ID  - 2308.10655
ER  -