Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Emmanuel BEFFARA

Année
Publications
Files Type
2012 Beffara Emmanuel, Mogbil Virgile.
Proofs as executions.
Theor. Comput. Sci., Lecture Notes in Computer Science Volume 7604, pp 280--294, 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, September 26--28, may 2012.
PDF ACTI
2011 Beffara Emmanuel.
Order algebras: a quantitative model of interaction.
To appear in Mathematical Structures in Computer Science, July 2011.
PDF ACL
2010 Beffara Emmanuel, Mogbil Virgile.
Concurrent processes as wireless proof nets.
Preprint, february 2010.
PDF AP
2009

Beffara Emmanuel.
Linear Combinations of orders.
Technical report, 3 november 2009.

PDF AP
 

Beffara Emmanuel.
Quantitative testing semantics for non-interleaving.
Preprint, 15 april 2009.

PDF AP
2008

Beffara Emmanuel.
An algebraic process calculus.
Proceedings of LICS 2008, p 130-141, 2008.

PDF ACTI
2007 Beffara Emmanuel.
Functions as proofs as processes.
Preprint, january 2007.
PDF AP
2006 Beffara Emmanuel.
A concurrent model for linear logic.
Electr. Notes Theor. Comput. Sci. 155: 147-168, 2006.
PDF ACL
  Beffara Emmanuel, Maurel François.
Concurrent nets: a study of prefixing in process calculi.
Theor. Comput. Sci. 356(3): 356-373, 2006.
PDF ACL
2003 Beffara Emmanuel, Danos Vincent.
Disjunctive normal forms and local exceptions.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003: 203-211, Uppsala, Sweden, 2003.
PDF ACTI

Thèse
(Thesis)
 
2005 Logique, Réalisabilité et Concurrence [Logic, realisability and concurrency].
Thèse de Doctorat, Université Paris VII, déc. 2005.

1,2 M



Last update : april 8, 2013, EL.