scientific article; zbMATH DE number 7318981

zbMath1457.68179arXiv1107.1233MaRDI QIDQ4965816

Luca Bortolussi, Vashti Galpin, Jane Hillston

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1107.1233

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates ⋮ HYPE: hybrid modelling by composition of flows ⋮ Hybrid semantics for Bio-PEPA

This page was built for publication: