default search action
Domain Modeling and the Duration Calculus 2007: Shanghai, China
- Chris George, Zhiming Liu, Jim Woodcock:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.