![]() | ![]() |
2008 | ||
---|---|---|
6 | EE | Emmanuel Beffara: An Algebraic Process Calculus. LICS 2008: 130-141 |
2006 | ||
5 | EE | Emmanuel Beffara: A Concurrent Model for Linear Logic. Electr. Notes Theor. Comput. Sci. 155: 147-168 (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 | 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 | EE | Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. ICFP 2003: 203-211 |
2001 | ||
1 | EE | Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR cs.PL/0109024: (2001) |
1 | Olivier Bournez | [1] |
2 | Vincent Danos | [2] |
3 | Hassen Kacem | [1] |
4 | Claude Kirchner | [1] |
5 | François Maurel | [3] [4] |