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

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Acta informatica, Vol. 30, No. 7 (1993), p. 609-678
1. Verfasser: Manna, Zohar
Weitere beteiligte Personen: Pnueli, Amir
Format: elektronischer Aufsatz
Anmerkung: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].
QR-Code: QR-Code anzeigen