Verifying Identical Communicating Processes is Undecidable.

Alain Finkel Pierre McKenzie

Published in: Theor. Comput. Sci. (1997)

Keyphrases

communication channels
process model
np complete
real time
computer vision
image processing
sufficient conditions
computational models
sharing information
genetic algorithm
relational databases
probability distribution
support systems