1. Gamma and the chemical reaction model: Fifteen years after;Banatre,2001
2. An intermediate language for the simulation of biological systems;Barbuti,2008
3. The calculus of looping sequences;Barbuti,2008
4. A calculus of looping sequences for modelling microbiological systems;Barbuti;Fund. Inform.,2006
5. The calculus of looping sequences for modeling biological membranes;Barbuti,2007