| C.J. Fidge. A limitation of vector timestamps for reconstructing distributed computations. Information Processing Letters, 68(2):87-91, 1998. |
....in which to explore partial observations of timed systems. To address the issues arising from (ii) in particular, to determine the causality of communication events we use vector clocks [5, 8] to produce and assign timestamps to communicated information. Using slightly more elaborate timestamps [6], we can also accommodate the modeling of message overtaking. This refers to a situation when messages are not delivered in the order in which they are sent. 2. Decentralized models using event clock automata The framework for decentralized discrete event systems that we use here is based on ....
C.J. Fidge. A limitation of vector timestamps for reconstructing distributed computations. Information Processing Letters, 68(2):87-91, 1998.
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