 | 2011 |
|---|
| 11 |       | Emmanuel Beffara:
Functions as proofs as processes
CoRR abs/1107.4160: (2011) |
| 2009 |
|---|
| 10 | | Emmanuel Beffara:
Quantitative testing semantics for non-interleaving
CoRR abs/0906.3994: (2009) |
| 9 | | Emmanuel Beffara,
Olivier Bournez,
Hassen Kacem,
Claude Kirchner:
Verification of Timed Automata Using Rewrite Rules and Strategies
CoRR abs/0907.3123: (2009) |
| 8 | | Emmanuel Beffara:
Linear combinations of orders
CoRR abs/0911.0630: (2009) |
| 2008 |
|---|
| 7 | | Emmanuel Beffara:
An Algebraic Process Calculus.
LICS 2008: 130-141 |
| 2006 |
|---|
| 6 | | Emmanuel Beffara:
A Concurrent Model for Linear Logic.
Electr. Notes Theor. Comput. Sci. 155: 147-168 (2006) |
| 5 | | Emmanuel Beffara,
François Maurel:
Concurrent nets: A study of prefixing in process calculi.
Theor. Comput. Sci. 356(3): 356-373 (2006) |
| 2005 |
|---|
| 4 | | 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 |
|---|
| 3 | | Emmanuel Beffara,
Vincent Danos:
Disjunctive normal forms and local exceptions.
ICFP 2003: 203-211 |
| 2 | | Emmanuel Beffara,
Vincent Danos:
Disjunctive normal forms and local exceptions.
SIGPLAN Notices 38(9): 203-211 (2003) |
| 2001 |
|---|
| 1 | | Emmanuel Beffara,
Olivier Bournez,
Hassen Kacem,
Claude Kirchner:
Verification of Timed Automata Using Rewrite Rules and Strategies
CoRR cs.PL/0109024: (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page