1. Lecture Notes in Computer Science;R. Alur,2001
2. Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Probabilistic Model for Molecular Systems. Fundamenta Informaticae 67, 13–27 (2005)
3. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae 72, 21–35 (2006)
4. Lecture Notes in Computer Science;R. Barbuti,2006
5. LNBI;R. Barbuti,2006