A. Arora and D. M. Poduska. A logic for real-time fault-tolerant programs. Unpublished manuscript, 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Timing-based Schema for Stabilizing Information Exchange - Anish Arora David (1995) (3 citations) Self-citation (Arora Poduska) (Correct)
....our approach builds on previous work [3 10] We restrict our proofs of timing properties to the use of two bounded temporal concepts, namely bounded response and bounded invariance. These two concepts appear to be sufficient for reasoning about the timing properties of fault tolerant protocols [11]. We use timing properties essentially to exhibit bounds on the convergence time and to deduce untimed properties. A discussion of information exchange protocols appears in Segall [12] His protocols are not stabilizing. They do, however, tolerate topological changes, although unlike our ....
A. Arora and D. M. Poduska. A logic for real-time fault-tolerant programs. Unpublished manuscript, 1995.
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