Projective Brane Calculus

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.

• Type: Conference
• Year: 2004
• Where: CMSB
• Authors: Vincent Danos, Sylvain Pradalier
• Keywords: Associated Structural Congruence, Cardelli’s Brane Calculus, CMSB 2004, Projective Equivalence