TY  - RPRT
TI  - Typed Non-determinism in Concurrent Calculi: The Eager Way
AU  - Bas van den Heuvel
AU  - Daniele Nantes-Sobrinho
AU  - Joseph W. N. Paulus
AU  - Jorge A. Pérez
PY  - 2024
DO  - 10.46298/entics.14735
UR  - https://arxiv.org/abs/2411.07714
ID  - 2411.07714
ER  -