Time-stamps for Mazurkiewicz traces
We construct a new time-stamp system for Mazurkiewicz traces. We begin by constructing a sequential time-stamp system which turns out to be optimal for a certain class of time-stamps. In the next step we show that this time-stamp system can be adapted for Mazurkiewicz traces, i.e. it can be used also in a distributed environment. (c) 2006 Elsevier B.V. All rights reserved.
mazurkiewicz traces asynchronous automata finite time-stamps