-
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Concurrency is concerned with systems of multiple computing agents that interact with each other. Bisimilarity is one of the main representatives of these. Concurrent... -
concurrency theory,process calculi,reversibility,reversible computing,express...
Reversible computing has a long history. Nowadays, reversible computing is attracting increasing interest because of its potential applications in diverse fields,... -
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... -
Behavioural Theory for Mobile Ambients
We study a behavioural theory of Cardelli and Gordon's Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks, focussing on reduction... -
Asynchronous Process Calculi for Specification and Verification of Informatio...
The work presented in this document in an account of my work as a PhD student at LIX, Ecole Polytechnique, in the COMETE team under the supervision of Catuscia... -
Symbolic and Asynchronous Semantics via Normalized Coalgebras
International audience -
A formal approach to the modeling, simulation and analysis of nano-devices.
Nano-devices are molecular machines synthesized from molecular subcomponents whose functions are combined in order to perform the func- tion of the machine. It... -
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 -
A behavioural theory for a π-calculus with preorders
We study the behavioural theory of piP, a pi-calculus featuring restriction as the only binder. In contrast with calculi such as Fusions and Chi, reduction in piP...
