5 search results - page 1 / 1 » Brane Calculi |
FAC
2008
13 years 5 months ago
2008
Abstract. Bisimulations are well
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
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
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...
FUIN
2006
13 years 5 months ago
2006
This work is a continuation of the investigations aiming to bridge membrane computing (where in a compartmental cell-like structure the chemicals to evolve are placed in the compar...