L. Lamport and M. Abadi. Refining and composing real-time specifications. This volume. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (145 citations) (Correct)
....specified by the formula 8x: 2( p T = x) 3(q T x 3) Here, the global variable x is bound to the time of every state in which p is observed. We refer to the use of a clock variable as the explicit clock notation. Examples of this method for expressing timing constraints can be found in [PdR82, Ron84, Har88, PH88, Ost90, LA]; it has been studied for its expressiveness and complexity in [AH90, HLP90] Let us once again define a propositional linear time logic with an interval based strictly monotonic real time semantics. As before, let V be a set of (global) time variables, and let Pi(V [fTg) be a set of timing ....
L. Lamport and M. Abadi. Refining and composing real-time specifications. This volume.
Timed Transition Systems - Thomas Henzinger (1992) (66 citations) (Correct)
No context found.
L. Lamport and M. Abadi. Refining and composing real-time specifications. This volume.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC