International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China)
Title:
Domain modeling and the duration calculus [electronic resource] : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).
Description based on print. "Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing"--P. [4] of cover. Includes bibliographical references and index.
Contents:
Delivering real-time behavior / Alan Burns and Andy Wellings -- Applicative modelling with RAISE / Chris George -- A theory of duration calculus with application / Michael Reichhardt Hansen and Dang Van Hung -- Understanding programming language concepts via operational semantics / Cliff B. Jones.
Series:
LNCS sublibrary. SL 1, Theoretical computer science and general issues Tutorial 0302-9743 ; 4710. Tutorial
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.