@misc{indiciaec930230397e4, title = {Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)}, author = {Tom Hirschowitz and Damien Pous}, year = {2012}, doi = {10.7561/sacs.2012.1.147}, url = {https://arxiv.org/abs/1109.4356}, note = {Source identifier: 1109.4356} }