S. Castellan, P. Clairambault, and G. Winskel, Symmetry in concurrent games, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, p.2014, 2014.
DOI : 10.1145/2603088.2603141
URL : https://hal.archives-ouvertes.fr/hal-00990020

G. L. Cattani and G. Winskel, Profunctors, open maps and bisimulation, Mathematical Structures in Computer Science, vol.15, issue.3, pp.553-614, 2005.
DOI : 10.1017/S0960129505004718
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.6243

P. Clairambault, J. Gutierrez, and G. Winskel, The Winning Ways of Concurrent Games, 2012 27th Annual IEEE Symposium on Logic in Computer Science, p.12, 2012.
DOI : 10.1109/LICS.2012.34

P. Clairambault and G. Winskel, On Concurrent Games with Payoff, Electronic Notes in Theoretical Computer Science, vol.298, 2013.
DOI : 10.1016/j.entcs.2013.09.008

D. Nicola, R. , and M. Hennessy, Testing equivalences for processes, Theoretical Computer Science, vol.34, 1984.

C. Faggian and M. Piccolo, Partial Orders, Event Structures and Linear Strategies, TLCA '09, 2009.
DOI : 10.1016/j.ic.2003.08.004
URL : https://hal.archives-ouvertes.fr/hal-00629450

T. Hirschowitz, Full Abstraction for Fair Testing in CCS, CALCO '13, 2013.
DOI : 10.1007/978-3-642-40206-7_14
URL : https://hal.archives-ouvertes.fr/hal-00826274

K. Honda, Processes and games Rewriting Logic and Its Applications, ENTCS, vol.71, 2002.

M. Hyland, Some reasons for generalising domain theory, Mathematical Structures in Computer Science, vol.29, issue.02, pp.239-265, 2010.
DOI : 10.1016/0022-4049(80)90101-2

R. Milner, Communication and concurrency, 1989.

L. Saunders-evans and G. Winskel, Event Structure Spans for Nondeterministic Dataflow, Electronic Notes in Theoretical Computer Science, vol.175, issue.3, 2007.
DOI : 10.1016/j.entcs.2006.10.055

G. Winskel, Event Structure Semantics for CCS and Related Languages, ICALP'82, 1982.
DOI : 10.7146/dpb.v12i159.6812

G. Winskel, Event Structures with Symmetry, Electronic Notes in Theoretical Computer Science, vol.172, pp.611-652, 2007.
DOI : 10.1016/j.entcs.2007.02.022

G. Winskel, Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information, Festschrift for Dexter Kozen, 2012.
DOI : 10.1007/978-3-642-29485-3_19

G. Winskel, Distributed Probabilistic and Quantum Strategies, Electronic Notes in Theoretical Computer Science, vol.298, 2013.
DOI : 10.1016/j.entcs.2013.09.024
URL : http://doi.org/10.1016/j.entcs.2013.09.024

G. Winskel, Strategies as Profunctors, FOSSACS '13, 2013.
DOI : 10.1007/978-3-642-37075-5_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.248.7962