Travelled to:1 × Spain
1 × USA
Collaborated with:C.Faggian ∅
Talks about:nondeterminist (1) interact (1) concurr (1) model (1) ludic (1) logic (1) light (1) time (1) game (1) net (1)
Person: François Maurel
 DBLP: Maurel:Fran=ccedil=ois
Contributed to:
Wrote 2 papers:
- LICS-2005-FaggianM #concurrent #game studies #interactive
 - Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
 - TLCA-2003-Maurel #logic #nondeterminism
 - Nondeterministic Light Logics and NP-Time (FM), pp. 241–255.
 













