Zining Cao. A True Concurrent Process Calculus and Its Conflict Bisimulation. In Haeng-Kon Kim, Roger Y. Lee, editors, 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2009, in conjunction with 3rd International Workshop on e-Activity, IWEA 2009, 1st International Workshop on Enterpri. pages 475-480, IEEE Computer Society, 2009. [doi]
Abstract is missing.