Formal Modeling of Parallel System Based on TCPN.

Bin Cheng Xingang Wang Weiqin Tong

Published in: NPC (2009)

Keyphrases

formal models
formal specification
database
data mining
information systems
image processing
query processing
formal methods
parallel programming