| |
| 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] |