Emmanuel Beffara

	2009
8		Emmanuel Beffara: Quantitative testing semantics for non-interleaving CoRR abs/0906.3994: (2009)
7		Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR abs/0907.3123: (2009)
	2008
6		Emmanuel Beffara: An Algebraic Process Calculus. LICS 2008: 130-141
	2006
5		Emmanuel Beffara: A Concurrent Model for Linear Logic. Electr. Notes Theor. Comput. Sci. 155: 147-168 (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		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
2		Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. ICFP 2003: 203-211
	2001
1		Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR cs.PL/0109024: (2001)

Coauthor Index

1	Olivier Bournez	[1] [7]
2	Vincent Danos	[2]
3	Hassen Kacem	[1] [7]
4	Claude Kirchner	[1] [7]
5	François Maurel	[3] [4]

Colors in the list of coauthors