Causal pi-Calculus for Biochemical Modelling. - Michele Curti; Pierpaolo Degano; Cosima Tatiana Baldari (CMSB, 2003)

Modelling biochemical pathways through enhanced pi-calculus. - Michele Curti; Pierpaolo Degano; Corrado Priami; Cosima Tatiana Baldari (Theor. Comput. Sci., 2004)