Hui Kang, Siqi Liu, Feng Qiu. Conversion and verification of recursive structure in PI-calculus with compositional petri-NET. In 11th International Conference on Natural Computation, ICNC 2015, Zhangjiajie, China, August 15-17, 2015. pages 135-142, IEEE, 2015. [doi]
Abstract is missing.