Structural Testing of Concurrent Programs.

Richard N. Taylor David L. Levine Cheryl D. Kelly

Published in: IEEE Trans. Software Eng. (1992)

Keyphrases

concurrent programs
concurrent programming
process algebra
web applications
model checking
concurrent processes
general purpose
formal methods
asynchronous circuits