External Control in Process Algebra for Systems Biology

Authors:
Filippo Del Tedesco;Carla Piazza
Affiliations:
Department of Mathematics and Computer Science, Università di Udine, Via delle Scienze, 206, 33100 Udine, Italy;Department of Mathematics and Computer Science, Università di Udine, Via delle Scienze, 206, 33100 Udine, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 0

Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
On process rate semantics

Theoretical Computer Science
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
Automated symbolic reachability analysis: with application to delta-notch signaling automata

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Efficient, correct simulation of biological processes in the stochastic pi-calculus

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Formal cell biology in biocham

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A graphical representation for biological processes in the stochastic pi-calculus

Transactions on Computational Systems Biology VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic @p-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and provide more structured models. This work aims at bridging the above discussed gap. In particular, we propose a different approach for the encoding of biological systems in Stochastic @p-calculus in the direction of introducing an external control and comparing different formalisms. We show the effectiveness of our method on some examples.