APN 90 Proceedings on Advances in Petri nets 1990
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Combining state-based and scenario-based approaches in modeling biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Simulation and verification for computational modelling of signalling pathways
Proceedings of the 38th conference on Winter simulation
Modelling of Biochemical Reactions by Stochastic Automata Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Rule-Based Modelling, Symmetries, Refinements
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Hybrid Semantics for Stochastic π-Calculus
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
HYPE Applied to the Modelling of Hybrid Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Synapses as stochastic concurrent systems
Theoretical Computer Science
Integrated Analysis from Abstract Stochastic Process Algebra Models
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
The Equivalence between Biology and Computation
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
A Bayesian Approach to Model Checking Biological Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Probabilistic Approximations of Signaling Pathway Dynamics
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
From Biochemistry to Stochastic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid dynamics of stochastic programs
Theoretical Computer Science
Deducing interactions in partially unspecified biological systems
AB'07 Proceedings of the 2nd international conference on Algebraic biology
An automated translation from a narrative language for biological modelling into process algebra
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Expressive models for synaptic plasticity
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
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
Computational thinking in biology
Transactions on computational systems biology VIII
Target driven biochemical network reconstruction based on petri nets and simulated annealing
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A Model and Analysis of the AKAP Scaffold
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Algebra with Hooks for Models of Pattern Formation
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Electronic Notes in Theoretical Computer Science (ENTCS)
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Probabilistic approximations of ODEs based bio-pathway dynamics
Theoretical Computer Science
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Equivalences for a biological process algebra
Theoretical Computer Science
Bootstrapping parameter estimation in dynamic systems
DS'11 Proceedings of the 14th international conference on Discovery science
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
Modelling and analysis of the NF-κB pathway in bio-PEPA
Transactions on Computational Systems Biology XII
Modular modelling of signalling pathways and their cross-talk
Theoretical Computer Science
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
Trend-Based analysis of a population model of the AKAP scaffold protein
Transactions on Computational Systems Biology XIV
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |
This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11]. Two models of the system are presented, a reagent-centric view and a pathway-centric view. The models capture functionality at the level of subpathway, rather than at a molecular level. Each model affords a different perspective of the pathway and analysis. We demonstrate the two models to be formally equivalent using the timing-aware bisimulation defined over PEPA models and discuss the biological significance.