Bio-PEPA with Events

DOI10.1007/978-3-642-04186-0_3zbMath1260.92021OpenAlexW2144033324MaRDI QIDQ3642952

Federica Ciocchetta

Publication date: 10 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04186-0_3

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Biochemistry, molecular biology (92C40) Software, source code, etc. for problems pertaining to biology (92-04)

Related Items (3)

Hybrid semantics for Bio-PEPA ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Bio-PEPA with Events

Uses Software

• PRISM
• Bio-PEPA
• HyTech
• PEPA
• HybridSal
• BlenX
• BioModels
• Charon

Cites Work

• Unnamed Item
• Unnamed Item
• Modeling biological systems in stochastic concurrent constraint programming
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• HyTech: A model checker for hybrid systems
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• A kinetic mechanism for nicotinic acetylcholine receptors based on multiple allosteric transitions
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Bio-PEPA with Events
• Hybrid Systems: Computation and Control
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Computational Methods in Systems Biology

This page was built for publication: Bio-PEPA with Events