Debugging Concurrent Programs.

Charles E. McDowell David P. Helmbold

Published in: ACM Comput. Surv. (1989)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
communication protocols
concurrent processes
database systems
general purpose
model checking
web services composition
asynchronous circuits