这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,有大量的范例,我们导师很看好的东西-developed at the University of Kent in the process algebra JAVA basement, deal with multithreading and concurrency system is very easy, we have a lot of examples, we have very good instructors