221 records matched your query       

Author:

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.).

Format:

[electronic resource] :

Publisher:

Springer,

Copyright Date:

c2007

Description:

1 online resource (viii, 235 p.) : ill.

Subject:

Real-time data processing--Congresses.
Computer logic--Congresses.
Programming languages (Electronic computers)--Congresses.
Programming languages (Electronic computers)--Semantics--Congresses.

Other Authors:

George, Chris W.
Liu, Zhiming, 1961-
Woodcock, Jim.
ICTAC 2007 (2007 : Macau, China)

Notes:

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

ISBN:

3540749640
9783540749646

OCLC:

(OCoLC)184952128

Locations:

USUX851 -- Iowa State University - Parks Library (Ames)