-
Formal approaches to information hiding : An analysis of interactive systems,...
In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications.... -
A relational semantics for parallelism and non-determinism in a functional se...
International audience -
Generalized Symmetry Breaking Tasks
Processes in a concurrent system need to coordinate using an underlying shared memory or a message-passing system in order to solve agreement tasks such as, for... -
Call-by-value non-determinism in a linear logic type discipline
International audience -
Concurrency in Interaction Nets and Graph Rewriting
Effectué en cotutelle entre le département de Philosophie de l'Università Roma Tre et le Laboratoire d'Informatique de l'Université Paris 13 -
Combining Higher-Order and First-Order Computation Using Rho Calculus: Toward...
Colloque sur invitation. -
The Rewriting Calculus
Rapport interne.
