BisimulationChecker.java
Author: Joshua Parker
This program performs a bisimulation check on two given processes
Complie: javac BisimulationChecker.java
Run: java BisimulationChecker
monotonous/Bisimulation
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|