116 ;;Quote: synchronization by controlling the sequence of significant events instead of by using mutual exclusion

116 ;;Quote: an eventcount is a communication path for signaling and observing the progress of concurrent computations

116+;;Quote: a sequencer assigns an order to events occurring in the system

116 ;;Quote: an eventcount counts events in a particular class, i.e., a set of state changes

116 ;;Quote: a process can read an eventcount or block until an eventcount reaches some value ('await')

116 ;;Quote: signal the occurrence of an event by incrementing its event count

117 ;;Quote: events are concurrent if they occur closer together than can be resolved in the system

118 ;;Quote: eventcount solutions to synchronization often avoid multiple writers to the same variable

118 ;;Quote: producer/consumer synchronization uses eventcounts to maintain the relative ordering; instead of mutual exclusion

118 ;;Quote: a sequencer delivers a non-decreasing integer for each ticket(s) operation

118 ;;Quote: sequencers use a ticket operation that mimics the automatic ticket machines used in bakeries

118 ;;Quote: unlike eventcounts, a sequencer does not allow concurrent ticket operations