Login / Signup
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