Research topics

Calculi for mobile processes applied to the modeling and simulation of biological systems.