Conversion and verification of recursive structure in PI-calculus with compositional petri-NET.

Hui Kang, Siqi Liu, Feng Qiu

Browse the full ICNC paper archive.