A fully abstract game semantics for general references, LICS, pp.334-344, 1998. ,
Full abstraction for PCF, Inf. Comput, vol.163, issue.2, pp.409-470, 2000. ,
Linearity, sharing and state: a fully abstract game semantics for idealized algol with active expressions, ENTCS, vol.3, pp.2-14, 1996. ,
Concurrent games and full completeness, LICS, pp.431-442, 1999. ,
Fully abstract semantics for observably sequential languages, Inf. Comput, vol.111, issue.2, pp.297-401, 1994. ,
Causality vs. interleavings in concurrent game semantics, CONCUR 2016, vol.32, pp.1-32, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01474550
Games and strategies as event structures, vol.12, p.16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01302713
Concurrent Strategies and Intensional Full Abstraction for Parallel-or ,
The parallel intensionally fully abstract games model of PCF, LICS, pp.232-243, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01286477
Strategies with Parallel Causes, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017, vol.82, pp.1-41, 2017. ,
Applications of game semantics: From program analysis to hardware synthesis, LICS, pp.17-26, 2009. ,
Angelic semantics of fine-grained concurrency, Ann. Pure Appl. Logic, vol.151, issue.2-3, pp.89-114, 2008. ,
Full abstraction for fair testing in CCS (expanded version), Logical Methods in Computer Science, vol.10, issue.4, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00869469
On full abstraction for PCF: I, II, and III, Inf. Comput, vol.163, issue.2, pp.285-408, 2000. ,
Full abstraction for functional languages with control, Proceedings, p.12 ,
, Annual IEEE Symposium on Logic in Computer Science, pp.58-67, 1997.
Asynchronous games: Innocence without alternation, CONCUR, vol.4703, pp.395-411, 2007. ,
LCF considered as a programming language, Theor. Comput. Sci, vol.5, issue.3, pp.223-255, 1977. ,
Concurrent strategies, LICS, pp.409-418, 2011. ,
DOI : 10.1109/lics.2011.13
Events in computation, 1980. ,
Event structure semantics for CCS and related languages, ICALP, pp.561-576, 1982. ,
Advances in Petri Nets, Petri Nets: Central Models and Their Properties, pp.325-392, 1986. ,
Deterministic concurrent strategies, Formal Asp. Comput, vol.24, issue.4-6, pp.647-660, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01886926
Strategies as profunctors, FOSSACS, Held as Part of ETAPS 2013, pp.418-433, 2013. ,