Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Chris George, Zhiming Liu, Jim Woodcock, editors, Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Volume 4710 of Lecture Notes in Computer Science, Springer, 2007.

Conference: ac

Abstract is missing.

Delivering Real-Time BehaviourAlan Burns, Andy J. Wellings. 1-50 [doi]

Applicative Modelling with RAISEChris George. 51-118 [doi]

A Theory of Duration Calculus with ApplicationMichael R. Hansen, Dang Van Hung. 119-176 [doi]

Understanding Programming Language Concepts Via Operational SemanticsCliff B. Jones. 177-235 [doi]

runs on WebDSL