1. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Transactions on Software Engineering,2003
2. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA;Calder,2004
3. Automatically deriving ODEs from process algebra models of signalling pathways;Calder,2005
4. Abstract machine for system biology;Cardelli;Transactions on Computational Systems Biology,2005
5. Mobile ambients;Cardelli;Theoretical Computer Science,2000