François Maurel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

4 Emmanuel Beffara, François Maurel: Concurrent nets: A study of prefixing in process calculi. Theor. Comput. Sci. 356(3): 356-373 (2006)

2005

3 Claudia Faggian, François Maurel: Ludics Nets, a game Model of Concurrent Interaction. LICS 2005: 376-385

2 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 François Maurel: Nondeterministic Light Logics and NP-Time. TLCA 2003: 241-255

	2006
4		Emmanuel Beffara, François Maurel: Concurrent nets: A study of prefixing in process calculi. Theor. Comput. Sci. 356(3): 356-373 (2006)
	2005
3		Claudia Faggian, François Maurel: Ludics Nets, a game Model of Concurrent Interaction. LICS 2005: 376-385
2		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		François Maurel: Nondeterministic Light Logics and NP-Time. TLCA 2003: 241-255

Coauthor Index

1 Emmanuel Beffara [2] [4]

2 Claudia Faggian [3]

Colors in the list of coauthors