论文信息 - Operational Patterns in Beta-Binders

Operational Patterns in Beta-Binders

As a preliminary step in testing the expressiveness of Beta-binders against realistic case studies, we comment on a number of operational properties of the formalism and present a set of derived patterns that can be useful when modeling complex biosystems.

Corrado Priami | Paola Quaglia | C. Priami | P. Quaglia

[1] Cosimo Laneve,et al. Graphs for Core Molecular Biology , 2003, CMSB.

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

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

[4] Corrado Priami,et al. Modeling Kohn Interaction Maps with Beta-Binders: An Example , 2005, Trans. Comp. Sys. Biology.

[5] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

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

[7] Cosimo Laneve,et al. Core Formal Molecular Biology , 2003, ESOP.

[8] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .

[9] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[10] Vincent Danos,et al. Formal Molecular Biology done in CCS , 2003 .

[11] Corrado Priami,et al. Beta Binders for Biological Interactions , 2004, CMSB.