HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

DOI10.1007/978-3-642-04081-8_21MaRDI QIDQ3184681zbMATH OpenOpenAlexFDO

Authors Vashti Galpin, Luca Bortolussi, Jane Hillston

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)

Recommendations

• HYPE: hybrid modelling by composition of flows
• HYPE with stochastic events
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Hybrid process algebra
• Process algebra for hybrid systems

Cites work

• Bisimulation relations for dynamical, control, and hybrid systems
• Comparison of hybrid systems and fluid stochastic Petri nets
• Compositional modeling and refinement for hierarchical hybrid systems
• scientific article; zbMATH DE number 1950549 (Why is no real title available?)
• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Hybrid action systems
• Hybrid process algebra
• HYPE Applied to the Modelling of Hybrid Biological Systems
• HyTech: A model checker for hybrid systems
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• O-minimal hybrid systems.
• On Simulations and Bisimulations of General Flow Systems
• Process algebra for hybrid systems
• Syntax and consistent equation semantics of hybrid Chi

Cited in

(7)

• Hybrid process algebra
• Hybrid semantics for Bio-PEPA
• 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
• HYPE with stochastic events
• \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications

Describes a project that uses

Uses Software

• HyTech
• PEPA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184681)