Search the dblp DataBase

Publications of Author

1. Emmanuel Beffara, Vincent Danos
   Disjunctive normal forms and local exceptions. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:203-211 [Conf]
   
2. Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
   Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (0, 0)][DBLP]
   CoRR, 2001, v:0, n:, pp:- [Journal]
   
3. Emmanuel Beffara
   A Concurrent Model for Linear Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:147-168 [Journal]
   
4. Emmanuel Beffara, François Maurel
   Concurrent Nets: A Study of Prefixing in Process Calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:67-86 [Journal]
   
5. Emmanuel Beffara, François Maurel
   Concurrent nets: A study of prefixing in process calculi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:356, n:3, pp:356-373 [Journal]
   
6. 
   An Algebraic Process Calculus. [Citation Graph (, )][DBLP]
   
   
7. 
   Quantitative testing semantics for non-interleaving [Citation Graph (, )][DBLP]
   
   
8. 
   Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (, )][DBLP]
   
   
9. 
   Linear combinations of orders [Citation Graph (, )][DBLP]