文件名称：Bisimulation:对两个给定的进程执行互模拟检查
文件大小：4KB
文件格式：ZIP
更新时间：2024-08-01 17:39:08
Java
BisimulationChecker.java 作者：约书亚·帕克 该程序对两个给定的进程执行互模拟检查 编译：javac BisimulationChecker.java 运行：java BisimulationChecker
【文件预览】：
Bisimulation-master
----test()
--------bookQ(7B)
--------bookP(25B)
--------book_R_no(149B)
----README.md(202B)
----BisimulationChecker.java(11KB)