Sciweavers

74
Voted
CMSB
2004
Springer
15 years 2 months ago
Brane Calculi
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...
Luca Cardelli