1. Lecture Notes in Computer Science;M. Aldinucci,2011
2. Aldinucci, M., Coppo, M., Damiani, F., Drocco, M., Torquati, M., Troina, A.: On designing multicore-aware simulators for biological systems. In: Proc. of Intl. Euromicro PDP 2011: Parallel Distributed and Network-Based Processing, pp. 318–325. IEEE, Ayia Napa (2011)
3. Barnat, J., Brim, L., Safránek, D.: High-performance analysis of biological systems dynamics with the divine model checker. Briefings in Bioinformatics 11(3), 301–312 (2010)
4. Cardelli, L.: On switches and oscillators (2011),
http://lucacardelli.name
5. Coppo, M., Damiani, F., Drocco, M., Grassi, E., Troina, A.: Stochastic Calculus of Wrapped Compatnents. In: QAPL 2010, vol. 28, pp. 82–98. EPTCS (2010)