HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

DOI10.1007/978-3-642-04081-8_21zbMath1254.68170OpenAlexW1878115606MaRDI 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Repairing time-determinism in the process algebra for hybrid systems ⋮ HYPE: hybrid modelling by composition of flows ⋮ Hybrid semantics for Bio-PEPA

Uses Software

• HyTech
• PEPA

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

This page was built for publication: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour