Formal Modeling of Parallel System Based on TCPN.

Bin Cheng, Xingang Wang, Weiqin Tong

Browse the full NPC paper archive.