Andrew Phillips
Andrew Phillips
Home
Press
Publications
Hiring
Visual DSD
Visual GEC
Biography
Light
Dark
Automatic
Pi-calculus
Stochastic simulation of multiple process calculi for biology
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization
A generic abstract machine for stochastic process calculi
Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics
A process model of Rho GTP-binding proteins
A Process Model of Actin Polymerisation
An Abstract Machine for the Stochastic Bioambient calculus
A Visual Process Calculus for Biology
Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation
A Chart Semantics for the Pi-Calculus
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
A Compositional Approach to the Stochastic Dynamics of Gene Networks
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
A Distributed Abstract Machine for Boxed Ambient Calculi
Cite
×