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 of membrane interactions. An associated structural congruence, termed the projective equivalence, is defined and shown to be preserved under all possible system evolutions. Comparable notions of projective equivalence can be developed in other hierarchical process calculi and might be of interest in other applications. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Danos, V., & Pradalier, S. (2005). Projective brane calculus. In Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science) (Vol. 3082, pp. 134–148). Springer Verlag. https://doi.org/10.1007/978-3-540-25974-9_11
Mendeley helps you to discover research relevant for your work.