@misc{indiciae043e27c2ed2b, title = {Innocent strategies as presheaves and interactive equivalences for CCS}, author = {Tom Hirschowitz and Damien Pous}, year = {2011}, doi = {10.4204/eptcs.59.2}, url = {https://arxiv.org/abs/1108.0463}, note = {Source identifier: 1108.0463} }