HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

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

Mathematics Subject Classification ID

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

• 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