Almost all my research work has to do with process calculi for
Most of it has been done in collaboration with Davide Sangiorgi.
see also some older work: Bisimulation verification using the up to techniques, Software Tools for Technology Transfer, 3(3): 271-285 (2001), © Springer Verlag
see also An Extensional Spatial Logic for Mobile Processes, proc. of CONCUR'02, LNCS 3252, © Springer Verlag
see also A full formalisation of pi-calculus theory in the Calculus of Constructions, proc. of TPHOL's 97, LNCS 3351, © Springer Verlag