On Process-Algebraic Extensions of Metric Temporal Logic

DOI10.1007/978-1-84882-912-1_13zbMath1215.68150OpenAlexW1609575127MaRDI QIDQ3163409

Joël Ouaknine, Christoph Haase, James Worrell

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_13

zbMATH Keywords

one-clock timed alternating automataone-clock timed propositional temporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (1)

Unnamed Item

This page was built for publication: On Process-Algebraic Extensions of Metric Temporal Logic