Projective Brane Calculus

Vincent Danos; Sylvain Pradalier

doi:10.1007/978-3-540-25974-9_11

Projective Brane Calculus

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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 language	English
Title of host publication	Computational Methods in Systems Biology
Subtitle of host publication	International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
Editors	Vincent Danos, Vincent Schachter
Publisher	Springer
Pages	134-148
Number of pages	15
Volume	3082
ISBN (Electronic)	978-3-540-25974-9
ISBN (Print)	978-3-540-25375-4
DOIs	https://doi.org/10.1007/978-3-540-25974-9_11
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	3082

Access to Document

10.1007/978-3-540-25974-9_11

http://dx.doi.org/10.1007/978-3-540-25974-9_11

Cite this

@inproceedings{16a799d72c4a48febf0a537b7d52a2a3,

title = "Projective Brane Calculus",

abstract = "A refinement of Cardelli{\textquoteright}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.",

author = "Vincent Danos and Sylvain Pradalier",

year = "2005",

doi = "10.1007/978-3-540-25974-9_11",

language = "English",

isbn = "978-3-540-25375-4",

volume = "3082",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "134--148",

editor = "Vincent Danos and Vincent Schachter",

booktitle = "Computational Methods in Systems Biology",

}

Projective Brane Calculus. / Danos, Vincent; Pradalier, Sylvain.
Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. ed. / Vincent Danos; Vincent Schachter. Vol. 3082 Springer, 2005. p. 134-148 (Lecture Notes in Computer Science; Vol. 3082).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Projective Brane Calculus

AU - Danos, Vincent

AU - Pradalier, Sylvain

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-25974-9_11

DO - 10.1007/978-3-540-25974-9_11

M3 - Conference contribution

SN - 978-3-540-25375-4

VL - 3082

T3 - Lecture Notes in Computer Science

SP - 134

EP - 148

BT - Computational Methods in Systems Biology

A2 - Danos, Vincent

A2 - Schachter, Vincent

PB - Springer

ER -

Projective Brane Calculus

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this