Operational patterns in beta-binders

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3380 LNBI, Issue , 2005, Pages 50-65

  Priami, Corrado ^a   Quaglia, Paola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; COMPUTER SIMULATION; PATTERN RECOGNITION; SET THEORY;

BETA-BINDERS; OPERATIONAL PROPERTIES;

BIOINFORMATICS;

EID: 33748915162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-32126-2_5     Document Type: Article

References (12)

1. L. Cardelli. Membrane interactions. In BioConcur '03, Workshop on Concurrent Models in Molecular Biology, 2003.
2. F. Ciocchetta, C. Priami, and P. Quaglia. Modeling Kohn interaction maps with Beta-binders: an example. Submitted for publication., 2004.
3. V. Danos and J. Krivine. Formal molecular biology done in CCS-R. In BioConcur '03, Workshop on Concurrent Models in Molecular Biology, 2003.
4. V. Danos and C. Laneve. Core formal molecular biology. In P. Degano, editor, Proc. 12th European Symposium on Programming (ESOP '03), volume 2618 of Lecture Notes in Computer Science. Springer, 2003.
5. V. Danos and C. Laneve. Core formal molecular biology. Full version of [4], submitted for publication, 2004.
6. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
7. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge Universtity Press, 1999.
8. C. Priami and P. Quaglia. Beta binders for biological interactions. In Proc. CMSB '04, Lecture Notes in Bioinformatics, 2004.
9. C. Priami, A. Regev, W. Silverman, and E. Shapiro. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80(1):25-31, 2001.
10. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, and E. Shapiro. Bioambients: An abstraction for biological compartments. Theoretical Computer Science, 2004. To appear.
11. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Proc. of the Pacific Symposium on Biocomputing (PSB '01), volume 6, pages 459-470. World Scientific Press, 2001.
12. D. Sangiorgi and D. D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, 2001.