Login / Signup
Study of Interaction Property Testing of Distributed System Based on Petri Net.
Hua Li
Yi Xing
Yu Xue
Xinming Ye
Published in:
SERVICES (2012)
Keyphrases
</>
distributed systems
petri net
fault tolerant
concurrent systems
load balancing
metadata
peer to peer
information processing
distributed environment
real time systems
data availability