1. Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid Modeling and Simulation of Biomolecular Networks. In: Hybrid Systems: Computation and Control, LNCS 2034, pp. 19–32, Springer, Heidelberg (2001)
2. Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Probabilistic Model for Molecular Systems. Fund. Inform. 67, 13–27 (2005)
3. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P.: Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. In: Int. Symposium on Bioinfor- matics Research and Applications (ISBRA'07), LNBI 4463, pp. 638–649, Springer, Heidelberg (2006)
4. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tiberi, P., Troina, A.: Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Biological Systems. T. Comp. Sys Biology 9, 86-113(2008)
5. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulation Congruences in the Calculus of Looping Sequences. In: Int. Colloquium on Theoretical Aspects of Computing (ICTAC'06), LNCS 4281, pp. 93–107, Springer, Heidelberg (2006)