Emmanuel Beffara

18 papers A* 1A 1B 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
L'algorithme: pourquoi et comment le définir pour l'enseigner.
CoRR
Emmanuel Beffara
2023 B conf
Concurrent Realizability on Conjunctive Structures.
FSCD
Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey
2021 J jnl
Concurrent Realizability on Conjunctive Structures.
CoRR
Emmanuel Beffara, Félix Castro, Mauricio Guillermo
2018 J jnl
Order algebras: a quantitative model of interaction.
Math. Struct. Comput. Sci.
Emmanuel Beffara
2015 J jnl
Unifying type systems for mobile processes.
CoRR
Emmanuel Beffara
2014 — conf
A logical view on scheduling in concurrency.
CL&C
Emmanuel Beffara
2012 — conf
Proofs as Executions.
IFIP TCS
Emmanuel Beffara, Virgile Mogbil
2011 J jnl
Functions as proofs as processes
CoRR
Emmanuel Beffara
2009 J jnl
Linear combinations of orders
CoRR
Emmanuel Beffara
2009 J jnl
Quantitative testing semantics for non-interleaving
CoRR
Emmanuel Beffara
2009 J jnl
Verification of Timed Automata Using Rewrite Rules and Strategies
CoRR
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
2008 A* conf
An Algebraic Process Calculus.
LICS
Emmanuel Beffara
2006 J jnl
Concurrent nets: A study of prefixing in process calculi.
Theor. Comput. Sci.
Emmanuel Beffara, François Maurel
2005 B conf
A Concurrent Model for Linear Logic.
MFPS
Emmanuel Beffara
2005 — —
Logique, Réalisabilité et Concurrence. (Logic, Realisability and Concurrency).
Emmanuel Beffara
2004 — conf
Concurrent Nets: A Study of Prefixing in Process Calculi.
EXPRESS
Emmanuel Beffara, François Maurel
2003 A conf
Disjunctive normal forms and local exceptions.
ICFP
Emmanuel Beffara, Vincent Danos
2001 J jnl
Verification of Timed Automata Using Rewrite Rules and Strategies
CoRR
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner