1. Lecture Notes in Computer Science;M. Baldamus,2005
2. Bernardo, M., Donatiello, L., Gorrieri, R.: MPA: A stochastic process algebra. Technical Report UBLCS-94-10, University Bologna (1994)
3. Lecture Notes in Bioinformatics;L. Cardelli,2005
4. Lecture Notes in Computer Science;N. Chabrier-Rivier,2005
5. Ciocchetta, F., Priami, C.: Biological transactions for quantitative models. In: MeCBIC. ENTCS (to appear, 2006)