Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, Vol 431: pp. 181-206
Stochastic Pi Machine
Established: November 21, 2008
Publications
Publications
Publications by Year
-
-
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
-
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, Vol 3: pp. 118
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, Vol 410: pp. 3166-3185
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | Published by Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
-
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, Vol 2: pp. 17-28
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, Vol 194: pp. 3-29
-
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, Vol 4695: pp. 184-199
-
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, Vol 4230: pp. 123-152
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, Vol 3939: pp. 99-122
ISBN: 3-540-33245-6
-
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
Publications by Research Area
-
Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, Vol 431: pp. 181-206
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, Vol 410: pp. 3166-3185
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | Published by Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, Vol 194: pp. 3-29
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, Vol 3939: pp. 99-122
ISBN: 3-540-33245-6
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
-
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, Vol 4695: pp. 184-199
-
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, Vol 3: pp. 118
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, Vol 2: pp. 17-28
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, Vol 3939: pp. 99-122
ISBN: 3-540-33245-6
-
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, Vol 4230: pp. 123-152
Publications by Type
-
Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Theoretical Computer Science | May 2012, Vol 431: pp. 181-206
A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner
PLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144
A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
Computational Methods in Systems Biology | September 2010, pp. 43-54
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher
BMC Systems Biology | December 2009, Vol 3: pp. 118
A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips
Theoretical Computer Science | August 2009, Vol 410: pp. 3166-3185
A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Electronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation
Ralf Blossey, Luca Cardelli, Andrew Phillips
HFSP Journal | February 2008, Vol 2: pp. 17-28
A Chart Semantics for the Pi-calculus
Johannes Borgström, Andy Gordon, Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2008, Vol 194: pp. 3-29
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Computational Methods in Systems Biology | September 2007, Vol 4695: pp. 184-199
A Graphical Representation for Biological Processes in the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
Transactions in Computational Systems Biology | November 2006, Vol 4230: pp. 123-152
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Ralf Blossey, Luca Cardelli, Andrew Phillips
Transactions in Computational Systems Biology | January 2006, Vol 3939: pp. 99-122
ISBN: 3-540-33245-6
-
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Electronic Proceedings in Theoretical Computer Science | November 2010
A Correct Abstract Machine for the Stochastic Pi-calculus
Andrew Phillips, Luca Cardelli
Concurrent Models in Molecular Biology | August 2004
-
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | Published by Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition