HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
From MaRDI portal
Publication:3184681
DOI10.1007/978-3-642-04081-8_21zbMath1254.68170MaRDI QIDQ3184681
Jane Hillston, Vashti Galpin, Luca Bortolussi
Publication date: 22 October 2009
Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_21
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Repairing time-determinism in the process algebra for hybrid systems, HYPE: hybrid modelling by composition of flows, Hybrid semantics for Bio-PEPA, Rigorous Discretization of Hybrid Systems Using Process Calculi
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular and visual specification of hybrid systems: An introduction to HyCharts
- Hybrid process algebra
- Process algebra for hybrid systems
- Hybrid action systems
- HyTech: A model checker for hybrid systems
- O-minimal hybrid systems.
- Compositional modeling and refinement for hierarchical hybrid systems
- Syntax and consistent equation semantics of hybrid Chi
- Bisimulation relations for dynamical, control, and hybrid systems
- On Simulations and Bisimulations of General Flow Systems
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Comparison of hybrid systems and fluid stochastic Petri nets