137
click to vote
CMSB
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...