Projective brane calculus
作者： Vincent Danos , Sylvain Pradalier
DOI: 10.1007/978-3-540-25974-9_11
关键词: Calculus 、 Projective test 、 Process calculus 、 Symmetric set 、 Projective invariance 、 Equivalence (formal languages) 、 Mathematics 、 Membrane interaction 、 Brane 、 Brane calculi
摘要: A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also obtains a symmetric set interactions. An associated structural congruence, termed projective equivalence, defined shown be preserved under all possible system evolutions. Comparable notions equivalence can developed in other hierarchical process calculi might interest applications.
springer.com
ed.ac.uk
sci-hub.se 参考文章(15)
Aviv Regev, Ehud Shapiro, Cellular abstractions: Cells as computation Nature. ,vol. 419, pp. 343- 343 ,(2002) , 10.1038/419343A
Bruce Alberts, Essential Cell Biology ,(1983)
Vincent Danos, Cosimo Laneve, Core formal molecular biology european symposium on programming. pp. 302- 318 ,(2003) , 10.1007/3-540-36575-3_21
Vincent Danos, Cosimo Laneve, Graphs for Core Molecular Biology Computational Methods in Systems Biology. pp. 34- 46 ,(2003) , 10.1007/3-540-36481-1_4
Vincent Danos, Cosimo Laneve, Formal molecular biology Theoretical Computer Science. ,vol. 325, pp. 69- 110 ,(2004) , 10.1016/J.TCS.2004.03.065
Aviv Regev, William Silverman, Ehud Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra. pacific symposium on biocomputing. pp. 459- 470 ,(2000) , 10.1142/9789814447362_0045
Daniel T Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions Journal of Computational Physics. ,vol. 22, pp. 403- 434 ,(1976) , 10.1016/0021-9991(76)90041-3
Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro, BioAmbients: an abstraction for biological compartments Theoretical Computer Science. ,vol. 325, pp. 141- 167 ,(2004) , 10.1016/J.TCS.2004.03.061
Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes Information Processing Letters. ,vol. 80, pp. 25- 31 ,(2001) , 10.1016/S0020-0190(01)00214-9
Gheorghe Paun, Membrane Computing: An Introduction ,(2002)