53 search results - page 1 / 11 » Projective Brane Calculus |
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
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 o...
ENTCS
2008
13 years 5 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
ENTCS
2007
13 years 5 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
CMSB
2006
Springer
13 years 9 months ago
2006
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
