HYPE with stochastic events

MaRDI QIDQ4965816zbMATH OpenFDO

Authors Luca Bortolussi, Vashti Galpin, Jane Hillston

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1107.1233, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• HYPE: hybrid modelling by composition of flows
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• HYPE Applied to the Modelling of Hybrid Biological Systems
• Hybrid semantics for Bio-PEPA
• Hybrid process algebra

Cited in

(6)

• Hybrid semantics for Bio-PEPA
• Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• HYPE: hybrid modelling by composition of flows
• Hybrid performance modelling of opportunistic networks
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: HYPE with stochastic events

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