The presence and use of real-time systems is becoming increasingly common. Examples of such systems range from nuclear reactors, to automotive controllers, and

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a r

"In this anthology some of the most influential theorists, historians and artists that work within the field of real time + art, have been asked to describe and

This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addre

This volume surveys the key histories, theories and practice of artists, musicians, filmmakers, designers, architects and technologists that have worked and con