Output Guards and Nondeterminism in "Communicating Sequential Processes".

Arthur J. Bernstein

Published in: ACM Trans. Program. Lang. Syst. (1980)

Keyphrases

communication channels
case study
social networks
computer vision
decision making
image processing
feature space
situation calculus
sequential search