Models for reactivity

A hierarchy of models that capture realistic aspects of reactive, real-time, and hybrid systems is introduced. On the most abstract level, the qualitative (non-quantitative) model of reactive systems captures the temporal precedence aspect of time. A more refined model is that of real-time systems,...

Full description

Bibliographic Details
Published in:Acta informatica, Vol. 30, No. 7 (1993), p. 609-678
Main Author: Manna, Zohar
Other Involved Persons: Pnueli, Amir
Format: electronic Article
Item Description:This research was supported in part by the National Science Foundation under grant CCR-92-23226, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0139, by the European Community ESPRIT Basic Research Action Project 6021 (REACT), and by the France-Israel project for cooperation in Computer Science. An extended abstract of this paper appeared in [MP92], while a preliminary version of Section 4 appeared in [MP93].
Physical Description:Online-Ressource
QR Code: Show QR Code