Projective Brane Calculus

Vincent Danos, Sylvain Pradalier

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationComputational Methods in Systems Biology
Subtitle of host publicationInternational Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
EditorsVincent Danos, Vincent Schachter
PublisherSpringer Berlin Heidelberg
Number of pages15
ISBN (Electronic)978-3-540-25974-9
ISBN (Print)978-3-540-25375-4
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Fingerprint Dive into the research topics of 'Projective Brane Calculus'. Together they form a unique fingerprint.

Cite this