2
import org.jcsp.lang.*;
3
import java.util.Random;
5
class SymmetricA implements CSProcess {
7
private final AltingChannelInputInt in;
8
private final AltingChannelOutputInt out;
10
public SymmetricA (AltingChannelInputInt in, AltingChannelOutputInt out) {
17
final Alternative alt = new Alternative (new Guard[] {in , out});
18
final int IN = 0, OUT = 1;
20
final Random rand = new Random ();
21
final CSTimer tim = new CSTimer ();
26
int period = (rand.nextInt ()) % 16;
29
switch (alt.fairSelect ()) {
32
System.out.println (b);
36
System.out.println ("\t\t" + a);