| |
| 2006 | ||
|---|---|---|
| 4 | EE | Emmanuel Beffara, François Maurel: Concurrent nets: A study of prefixing in process calculi. Theor. Comput. Sci. 356(3): 356-373 (2006) |
| 2005 | ||
| 3 | EE | Claudia Faggian, François Maurel: Ludics Nets, a game Model of Concurrent Interaction. LICS 2005: 376-385 |
| 2 | EE | Emmanuel Beffara, François Maurel: Concurrent Nets: A Study of Prefixing in Process Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 67-86 (2005) |
| 2003 | ||
| 1 | EE | François Maurel: Nondeterministic Light Logics and NP-Time. TLCA 2003: 241-255 |
| 1 | Emmanuel Beffara | [2] [4] |
| 2 | Claudia Faggian | [3] |