zbMATH — the first resource for mathematics

Beta binders for biological interactions. (English) Zbl 1088.68646
Danos, Vincent (ed.) et al., Computational methods in systems biology. International conference CMBS 2004, Paris, France, May 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25375-0/pbk). Lecture Notes in Computer Science 3082. Lecture Notes in Bioinformatics, 20-33 (2005).
Summary: 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 enclose some living matter and hence to mimick biological interfaces. A few operators are then added to the pi-calculus kernel to describe the dynamics of those interfaces.
For the entire collection see [Zbl 1059.68002].

68Q60 Specification and verification (program logics, model checking, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92B20 Neural networks for/in biological studies, artificial life and related topics
Full Text: DOI