Trace, failure and testing equivalences for communicating processes.

Michael G. Main

Published in: Int. J. Parallel Program. (1987)

Keyphrases

communication channels
stochastic processes
real world
expert systems
information technology
binary images
connected components
computational models
relational algebra