资 源 简 介
This project contains the source code of our experiment in the paper "Maintenance of Minimal Bisimulation of Cyclic Graphs".
The codes is written in JDK1.5 and we use XMark to generate the test data.
In order to run the program, you also need to include the following files to your classpath:
jdom.jar
openjgraph.jar
log4j-1.2.15.jar
