Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Emmanuel BEFFARA

Année	Publications	Files	Type
2011	Beffara Emmanuel. Order algebras: a quantitative model of interaction. To appear in Mathematical Structures in Computer Science, July 2011.	PDF	ACL
2009	Beffara Emmanuel. Linear Combinations of orders. Technical report, 3 november 2009.	PDF	AP
	Beffara Emmanuel. Quantitative testing semantics for non-interleaving. Technical report, 15 april 2009.	PDF	AP
2008	Beffara Emmanuel. An algebraic process calculus. Proceedings of LICS 2008, p 130-141, 2008.	PDF	ACTI
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 : march 23, 2012, EL.