A specification theory of real-time processes

DOI10.1007/978-3-319-51046-0_2zbMath1486.68103DBLPconf/birthday/ChiltonKMW17OpenAlexW2563328880WikidataQ59556875 ScholiaQ59556875MaRDI QIDQ1708707

Faron Moller, Marta Kwiatkowska, Xu Wang, Chris Chilton

Publication date: 26 March 2018

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A specification theory of real-time processes