Formal Molecular Biology Done in CCS-R
Open Access
- 18 July 2007
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 180 (3), 31-49
- https://doi.org/10.1016/j.entcs.2004.01.040
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The immune system as a reactive system: modeling T cell activation with statechartsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Cellular abstractions: Cells as computationNature, 2002
- Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptorsNature Biotechnology, 2002
- Application of a stochastic name-passing calculus to representation and simulation of molecular processesInformation Processing Letters, 2001
- Integrated Genomic and Proteomic Analyses of a Systematically Perturbed Metabolic NetworkScience, 2001
- HYBRID PETRI NET REPRESENTATION OF GENE REGULATORY NETWORKPacific Symposium on Biocomputing, 1999
- A fully abstract semantics for causality in the $\pi$ -calculusActa Informatica, 1998
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile agentsLecture Notes in Computer Science, 1996
- A partial ordering semantics for CCSTheoretical Computer Science, 1990