Domain Modeling and the Duration Calculus 2007: Shanghai, China

Chris George, Zhiming Liu, Jim Woodcock (Eds.): Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710 Springer 2007, ISBN 978-3-540-74963-9

Alan Burns, Andy J. Wellings:
Delivering Real-Time Behaviour. 1-50
Chris George:
Applicative Modelling with RAISE. 51-118
Michael R. Hansen, Dang Van Hung:
A Theory of Duration Calculus with Application. 119-176
Cliff B. Jones:
Understanding Programming Language Concepts Via Operational Semantics. 177-235