main.java

升级版本

import org.jcsp.lang.Any2OneChannel;
import org.jcsp.lang.CSProcess;
import org.jcsp.lang.Parallel;

import org.jcsp.lang.Channel;


class Main {

  public static void main (String[] args) {

    final int nPhilosophers = 5;

    //Any2OneChannel report = new Any2OneChannel ();
    Any2OneChannel report = Channel.any2one();

    new Parallel (
      new CSProcess[] {
        new DiningPhilosophersCollege (nPhilosophers, report.out()),
        new TextDisplay (nPhilosophers, report.in())
      }
    ).run ();
  }

}