Map
Index
Random
Help
th

Quote: a message system defines a partial order of events; send event is before its receive event

topics > all references > references i-l > QuoteRef: lampL7_1978 , p. 559



Topic:
event time

Quotation Skeleton

We assume that sending and receiving a message … ".arrow.", as follows. [events ordered in same process, sender to receiver, and transitive closure].   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: event time (44 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.