On Process−algebraic Extensions of Metric Temporal Logic
Christoph Haase‚ Joel Ouaknine and James Worrell
Book Title
Reflections on the Work of C.A.R. Hoare
Chapter
13
Copyright
Springer−Verlag London
Editor
C.B. Jones‚ A.W. Roscoe and K.R. Wood
Pages
283–300
Publisher
Springer
Series
History of computing
Year
2010