@Inproceedings{EPTCS59.2, author = {Hirschowitz, Tom and Pous, Damien}, year = {2011}, title = {Innocent strategies as presheaves and interactive equivalences for CCS}, editor = {Silva, Alexandra and Bliudze, Simon and Bruni, Roberto and Carbone, Marco}, booktitle = {{\rm Proceedings Fourth} Interaction and Concurrency Experience, {\rm Reykjavik, Iceland, 9th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {59}, publisher = {Open Publishing Association}, pages = {2-24}, doi = {10.4204/EPTCS.59.2}, }