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
Établi : November 21, 2008
Publications
-
-
-
-
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 | Publié par 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
-
-
-
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
-
An Abstract Machine for the Stochastic Bioambient Calculus
Andrew Phillips
Electronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159
-
A Visual Process Calculus for Biology
Andrew Phillips
Symbolic Systems Biology: Theory and Methods | Publié par Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
-
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
-
-
-
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 | Publié par Jones and Bartlett Publishers | 2009 | Symbolic Systems Biology: Theory and Methods edition
-