TY  - RPRT
TI  - Types for Parallel Complexity in the Pi-calculus
AU  - Patrick Baillot
AU  - Alexis Ghyselen
PY  - 2019
UR  - https://arxiv.org/abs/1910.02145
ID  - 1910.02145
ER  -