-
Determinacy and confluence in concurrent and synchronous process calculi
In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and... -
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
