Distributed reachability testing of concurrent programs.

Richard H. Carver Yu Lei

Published in: Concurr. Comput. Pract. Exp. (2010)

Keyphrases

concurrent programs
concurrent processes
distributed systems
process algebra
distributed environment
concurrent programming
artificial intelligence
web applications
petri net
fault tolerant
data model
general purpose
distributed computing