Deducing interactions in partially unspecified biological systems

Authors:
Paolo Baldan;Andrea Bracciali;Linda Brodo;Roberto Bruni
Affiliations:
Dipartimento di Matematica Pura e Applicata, Università di Padova, Italia;Dipartimento di Informatica, Università di Pisa, Italia;Dipartimento di Scienze dei Linguaggi, Università di Sassari, Italia;Dipartimento di Informatica, Università di Pisa, Italia
Venue:
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Year:
2007

Citing 18
Cited 0

Symbolic bisimulations

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimilarity of open terms

Information and Computation - Special issue on EXPRESS 1997
Mobile ambients

Theoretical Computer Science
The tile model

Proof, language, and interaction
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Bisimulation by Unification

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction

CSB '03 Proceedings of the IEEE Computer Society Conference on Bioinformatics
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Modal logics for brane calculus

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Machine learning biochemical networks from temporal logic properties

Transactions on Computational Systems Biology VI
Symbolic equivalences for open systems

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
VICE: a VIrtual CEll

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

Quantified Score

Hi-index	0.00

Visualization

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.