An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs

DOI10.1093/logcom/8.4.545zbMath0904.68131OpenAlexW2029687341MaRDI QIDQ4209296

Rachel Cardell-Oliver

Publication date: 27 September 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.4.545

zbMATH Keywords

formal specification languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs