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.
Titolo: | Beta Binders for Biological Interactions |
Autori: | Priami, Corrado; Quaglia, Paola |
Autori Unitn: | |
Titolo del volume contenente il saggio: | Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers |
Luogo di edizione: | Berlin |
Casa editrice: | Springer |
Anno di pubblicazione: | 2005 |
ISBN: | 9783540253754 |
Handle: | http://hdl.handle.net/11572/94786 |
Appare nelle tipologie: | 02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione