A hybrid relational modelling language

DOI10.1007/978-3-319-51046-0_7zbMath1485.68162OpenAlexW2565495866MaRDI QIDQ1708714

Li Qin, He Jifeng

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-51046-0_7

zbMATH Keywords

hybrid systemssemanticsformal languageunifying theories of programmingrelation calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: A hybrid relational modelling language