

Beschreibung
This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their mod...