Causal pi-Calculus for Biochemical Modelling

We present a reduction semantics for the ?-calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal definitions presented in the literature. We then apply the causal reduction semantics in the domain of biochemical systems to study the interactions of components.

[1]  R. Brent,et al.  Modelling cellular behaviour , 2001, Nature.

[2]  A. Weiss,et al.  Signal transduction by the TCR for antigen. , 2000, Current opinion in immunology.

[3]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[4]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[5]  P D Karp,et al.  Pathway Databases: A Case Study in Computational Symbolic Theories , 2001, Science.

[6]  K. Kohn.  Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[7]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[8]  José Meseguer,et al.  Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.

[9]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[10]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[11]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[12]  Corrado Priami,et al.  Enhanced operational semantics: a tool for describing and analyzing concurrent systems , 2001, CSUR.

[13]  P. Hogan,et al.  Transcription factors of the NFAT family: regulation and function. , 1997, Annual review of immunology.

[14]  Robin Milner,et al.  Modal Logics for Mobile Processes , 1991, Theor. Comput. Sci..

[15]  Robin Milner,et al.  Functions as processes , 1990, Mathematical Structures in Computer Science.

[16]  Susumu Goto,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 2000, Nucleic Acids Res..

[17]  Corrado Priami,et al.  Non-Interleaving Semantics for Mobile Processes , 1999, Theor. Comput. Sci..

[18]  Corrado Priami,et al.  Performance Evaluation of Mobile Processes via Abstract Machines , 2001, IEEE Trans. Software Eng..

[19]  Onami,et al.  Bio-calculus: Its Concept and Molecular Interaction. , 1999, Genome informatics. Workshop on Genome Informatics.

[20]  Corrado Priami,et al.  Names of the -calculus agents handled locally , 2001, Theor. Comput. Sci..