Projective brane calculus (2004)
| Venue: | Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082 |
| Citations: | 15 - 2 self |
BibTeX
@INPROCEEDINGS{Danos04projectivebrane,
author = {Vincent Danos and Sylvain Pradalier and Université Paris and Ens Cachan},
title = {Projective brane calculus},
booktitle = {Proc. Computational Methods in System Biology 2004 (CMSB 2004), LNCS 3082},
year = {2004},
pages = {134--148},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
