Almost all my research work has to do with process calculi for
mobility.

Most of it has been done in collaboration with Davide Sangiorgi.

- with Romain Demangeon on termination in the pi-calculus
- with
Damien Pous
on behavioural equivalences and up-to techniques for bisimulation

see also some older work:*Bisimulation verification using the up to techniques*, Software Tools for Technology Transfer, 3(3): 271-285 (2001), © Springer Verlag - with Tom Hirschowitz on process calculi for dynamic modularity
- with Arnaud Carayol on the semantics of a non-deterministic extension of the lambda-calculus
- with
Etienne Lozes
on spatial logics for concurrency

see also*An Extensional Spatial Logic for Mobile Processes*, proc. of CONCUR'02, LNCS 3252, © Springer Verlag - with David Teller on resource bound certification in distributed and mobile systems
- with
Christine Roeckl
on formalisations of the pi-calculus in theorem provers

see also A full formalisation of pi-calculus theory in the Calculus of Constructions, proc. of TPHOL's 97, LNCS 3351, © Springer Verlag