TY  - RPRT
TI  - Innocent strategies as presheaves and interactive equivalences for CCS
AU  - Tom Hirschowitz
AU  - Damien Pous
PY  - 2011
DO  - 10.4204/eptcs.59.2
UR  - https://arxiv.org/abs/1108.0463
ID  - 1108.0463
ER  -