Integrated Analysis from Abstract Stochastic Process Algebra Models

Authors:
Jane Hillston;Federica Ciocchetta;Adam Duguid;Stephen Gilmore
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland
Venue:
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Year:
2008

Citing 9
Cited 0

A compositional approach to performance modelling

A compositional approach to performance modelling
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
Process algebras in systems biology

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
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Beta binders for biological interactions

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
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Bio-PEPA is a novel stochastic process algebra which has been recently developed for modelling biochemical pathways [5,6]. In Bio-PEPA a reagent-centric style of modelling is adopted, and a variety of analysis techniques can be applied to a single model expression. Such an approach facilitates easy validation of analysis results when the analyses address the same issues [3] and enhanced insight when the analyses are complementary [4]. Currently supported analysis techniques include stochastic simulation at the molecular level, ordinary di..erential equations, probabilistic model checking and numerical analysis of a continuous time Markov chain.