Package org.jcsp.test


package org.jcsp.test
  • Classes
    Class
    Description
    A process that syncs on one alting barrier and finishes
     
    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
    A process that performs a set number of extended inputs, syncing on a barrier as its extended action for each
    A process that performs a set number of extended inputs, syncing on a barrier as its extended action for each
    A process that writes out a list of values, synchronizing on the corresponding barrier after each.
    A process that writes out a list of values, synchronizing on the corresponding barrier after each.