BarrierSyncer |
A process that syncs on one alting barrier and finishes
|
DelaySyncer |
|
EventRecorder |
A class that listens out for many guards, and records the order in which they occur
Note: do not pass in channel guards, as the process will not perform the necessary
input after the guard is selected
|
ExtendedReaderSync |
A process that performs a set number of extended inputs, syncing on a barrier
as its extended action for each
|
ExtendedReaderSyncInt |
A process that performs a set number of extended inputs, syncing on a barrier
as its extended action for each
|
WriterProcess |
A process that writes out a list of values, synchronizing on the corresponding barrier after each.
|
WriterProcessInt |
A process that writes out a list of values, synchronizing on the corresponding barrier after each.
|