Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

A4Q1

62 views
Skip to first unread message

charlie....@gmail.com

unread,
Mar 31, 2014, 10:32:20 AM3/31/14
to
Just need a quick clarification:
"...a chain of zero of more messages connecting events e and e'..."
By connecting do we mean there's a chain of events that are ordered by the "Happens-before" relation,
i.e. e -> e1 -> e2 -> ... -> ek -> e' ?

Thanks!

K. Daudjee

unread,
Mar 31, 2014, 9:23:20 PM3/31/14
to
It means that there are zero or more messages that happen between
e and e' that connect these events.

-K
0 new messages