Concurrent games and full completeness, LICS '99, 1999. ,
Causality vs interleavings in concurrent games semantics, CONCUR'16, 2016. ,
Strategies as concurrent processes, ENTCS, vol.308, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01105258
Profunctors, open maps and bisimulation, Mathematical Structures in Computer Science, vol.15, issue.3, pp.553-614, 2005. ,
The winning ways of concurrent games, LICS 2012, pp.235-244, 2012. ,
On concurrent games with payoff, Electr. Notes Theor. Comput. Sci, vol.298, pp.71-92, 2013. ,
On Numbers and Games, 2000. ,
Partial orders, event structures and linear strategies, TLCA '09, vol.5608, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00629450
Innocent strategies as presheaves and interactive equivalences for CCS, Sci. Ann. Comp. Sci, vol.22, issue.1, pp.147-199, 2012. ,
DOI : 10.4204/eptcs.59.2
URL : https://hal.archives-ouvertes.fr/hal-00616648
Some reasons for generalising domain theory, Mathematical Structures in Computer Science, vol.20, issue.2, pp.239-265, 2010. ,
A probabilistic powerdomain of valuations, LICS '89, 1989. ,
Remarques sur la théorie des jeux à deux personnes, Gazette des sciences mathématiques du Québec, vol.1, issue.4, 1997. ,
Asynchronous games: Innocence without alternation, CONCUR, vol.4703, pp.395-411, 2007. ,
Concurrent strategies, LICS, 2011. ,
DOI : 10.1109/lics.2011.13
Quantum lambda calculus, Semantic Techniques in Quantum Computation, chapter 4, pp.135-172, 2009. ,
DOI : 10.1017/cbo9781139193313.005
URL : https://hal.archives-ouvertes.fr/hal-00483924
Non-angelic concurrent game semantics, 2016. ,
, , vol.81, p.13
Nondeterminism in game semantics via sheaves, LICS 2015, 2015. ,
DOI : 10.1109/lics.2015.30
Event structure semantics for CCS and related languages, ICALP'82, vol.140, 1982. ,
DOI : 10.7146/dpb.v12i159.6812
URL : https://tidsskrift.dk/daimipb/article/download/6812/5891
Event structures as presheaves-two representation theorems, CONCUR '99, 1999. ,
DOI : 10.1007/3-540-48320-9_37
URL : http://www.brics.dk/RS/99/7/BRICS-RS-99-7.pdf
Event structures with symmetry, Electr. Notes Theor. Comput. Sci, vol.172, pp.611-652, 2007. ,
DOI : 10.1016/j.entcs.2007.02.022
URL : https://doi.org/10.1016/j.entcs.2007.02.022
Winning, losing and drawing in concurrent games with perfect or imperfect information, Festschrift for Dexter Kozen, vol.7230, 2012. ,
Distributed probabilistic and quantum strategies, ENTCS, vol.298, 2013. ,
DOI : 10.1016/j.entcs.2013.09.024
URL : https://doi.org/10.1016/j.entcs.2013.09.024
Strategies as profunctors, FOSSACS 2013, vol.7794, 2013. ,
DOI : 10.1007/978-3-642-37075-5_27
URL : http://www.cl.cam.ac.uk/users/gw104/concur12_submission_40.pdf
Probabilistic and quantum event structures, Festschrift for Prakash Panangaden, vol.8464, 2014. ,
DOI : 10.1007/978-3-319-06880-0_25
, ECSYM Notes: Event Structures, Stable Families and Concurrent Games, 2016.