|
Search the dblp DataBase
François Maurel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Claudia Faggian, François Maurel
Ludics Nets, a game Model of Concurrent Interaction. [Citation Graph (0, 0)][DBLP] LICS, 2005, pp:376-385 [Conf]
- François Maurel
Nondeterministic Light Logics and NP-Time. [Citation Graph (0, 0)][DBLP] TLCA, 2003, pp:241-255 [Conf]
- Emmanuel Beffara, François Maurel
Concurrent Nets: A Study of Prefixing in Process Calculi. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:67-86 [Journal]
- Emmanuel Beffara, François Maurel
Concurrent nets: A study of prefixing in process calculi. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:356, n:3, pp:356-373 [Journal]
Search in 0.001secs, Finished in 0.001secs
|