HYPE Applied to the Modelling of Hybrid Biological Systems

DOI10.1016/j.entcs.2008.10.004zbMath1286.92027OpenAlexW1992690675MaRDI QIDQ5415630

Jane Hillston, Vashti Galpin, Luca Bortolussi

Publication date: 13 May 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.004

zbMATH Keywords

hybrid systemsprocess algebrasystems biology

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (8)

Model Checking of Biological Systems ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Hybrid Modelling in Biology: a Classification Review ⋮ HYPE: hybrid modelling by composition of flows ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Bio-PEPA with Events

Uses Software

• Bio-PEPA
• PEPA

Cites Work

• Unnamed Item
• 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
• Hybrid process algebra
• Process algebra for hybrid systems
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Syntax and consistent equation semantics of hybrid Chi
• Hybrid Systems: Computation and Control
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Computational Methods in Systems Biology
• Transactions on Computational Systems Biology IV
• Comparison of hybrid systems and fluid stochastic Petri nets

This page was built for publication: HYPE Applied to the Modelling of Hybrid Biological Systems