Stochastic Pi Machine

Established: November 21, 2008

Publications

View by:

- 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
  
  Publication Publication Project Project
- 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
  
  Publication Publication Project Project
- Stochastic Simulation of Process Calculi for Biology
  
  Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
  
  Electronic Proceedings in Theoretical Computer Science | November 2010
  
  Publication Publication Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Project
- An Abstract Machine for the Stochastic Bioambient Calculus
  
  Andrew Phillips
  
  Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
  
  Publication Publication Project
- 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
  
  Publication Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication Publication
- A Correct Abstract Machine for the Stochastic Pi-calculus
  
  Andrew Phillips, Luca Cardelli
  
  Concurrent Models in Molecular Biology | August 2004
  
  Publication

- 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
  
  Publication Publication Project Project
- 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
  
  Publication Publication Project Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Publication Project
- An Abstract Machine for the Stochastic Bioambient Calculus
  
  Andrew Phillips
  
  Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
  
  Publication Publication Project
- 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
  
  Publication Project
- 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
  
  Publication Publication
- 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
  
  Publication Publication Publication
- A Correct Abstract Machine for the Stochastic Pi-calculus
  
  Andrew Phillips, Luca Cardelli
  
  Concurrent Models in Molecular Biology | August 2004
  
  Publication
- Stochastic Simulation of Process Calculi for Biology
  
  Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
  
  Electronic Proceedings in Theoretical Computer Science | November 2010
  
  Publication Publication Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Publication
- 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
  
  Publication Project
- 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
  
  Publication Publication Publication
- 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
  
  Publication Publication Publication
- 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
  
  Publication Publication

- 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
  
  Publication Publication Project Project
- 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
  
  Publication Publication Project Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Project
- 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
  
  Publication Publication Project
- 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
  
  Publication Publication Project
- An Abstract Machine for the Stochastic Bioambient Calculus
  
  Andrew Phillips
  
  Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
  
  Publication Publication Project
- 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
  
  Publication Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication
- 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
  
  Publication Publication Publication
- Stochastic Simulation of Process Calculi for Biology
  
  Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
  
  Electronic Proceedings in Theoretical Computer Science | November 2010
  
  Publication Publication Project
- A Correct Abstract Machine for the Stochastic Pi-calculus
  
  Andrew Phillips, Luca Cardelli
  
  Concurrent Models in Molecular Biology | August 2004
  
  Publication
- 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
  
  Publication Project