A Formal Modeling Method based on CPN.

Shancang Li, Deyun Zhang, Zongbin Li, Fuhai Ma, Feng Wu

Browse the full SMC paper archive.