Login / Signup
A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs.
Fangli Pu
Hai-Yin Xu
Published in:
ICNSC (2008)
Keyphrases
</>
concurrent programs
concurrent programming
process algebra
web applications
concurrent processes
state space
database
databases
relational databases
business processes
service composition