A Proof System for Communicating Sequential Processes.

Krzysztof R. Apt Nissim Francez Willem P. de Roever

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

Keyphrases

communication channels
databases
mobile robot
modal logic
data sets
neural network
artificial intelligence
decision trees
bayesian networks
video sequences
probability distribution
logic programs
np complete
orders of magnitude
stochastic processes
sequential search