我要吃瓜

Book Chapter

Deducing interactions in partially unspecified biological systems

Details

Citation

Baldan P, Bracciali A, Brodo L & Bruni R (2007) Deducing interactions in partially unspecified biological systems. In: Anai H, Horimoto K & Kutsia T (eds.) Algebraic Biology. Lecture Notes in Computer Science, 4545. Berlin, Heidelberg: Springer, pp. 262-276. https://www.risc.jku.at/conferences/ab2007/; https://doi.org/10.1007/978-3-540-73433-8_19

Abstract
We show how a symbolic approach to the semantics of process algebras can be fruitfully applied to the modeling and analysis of partially unspecified biological systems, i.e., systems whose components are not fully known, cannot be described entirely, or whose functioning is not completely understood. This adds a novel deductive perspective to the use of process algebras within systems biology: the investigation of the behavioural or structural properties that unspecified components must satisfy to interact within the system. These can be computationally inferred, extending the effectiveness of the in silico experiments. The use of the approach is illustrated by means of case studies.

StatusPublished
Title of seriesLecture Notes in Computer Science
Number in series4545
Publication date31/12/2007
PublisherSpringer
Publisher URL
Place of publicationBerlin, Heidelberg
ISSN of series0302-9743
ISBN978-3-540-73432-1