Analysis of three hybrid systems in timed \(\mu CRL\)

DOI10.1016/S0167-6423(00)00010-1zbMath0971.68113OpenAlexW2092262383MaRDI QIDQ5929015

Jan Friso Groote, Jos van Wamel

Publication date: 5 July 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00010-1

zbMATH Keywords

hybrid control systemstime deadlocks

Mathematics Subject Classification ID

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

Related Items (3)

Hybrid process algebra ⋮ Real time process algebra with time-dependent conditions ⋮ Process algebra for hybrid systems

This page was built for publication: Analysis of three hybrid systems in timed \(\mu CRL\)