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.