Debugging Concurrent Processes: A Case Study.

Janice M. Stone

Published in: PLDI (1988)

Keyphrases

concurrent processes
petri net
concurrent programs
case study
information systems
artificial neural networks
model based diagnosis
data sets
test bed
software testing