TY  - RPRT
TI  - Feasible reactivity in a synchronous pi-calculus
AU  - Roberto Amadio
AU  - Frederique Dabrowski
PY  - 2007
UR  - https://arxiv.org/abs/cs/0702069
ID  - cs/0702069
ER  -