Login / Signup
A Calculus of Total Correctness for Communicating Processes.
C. A. R. Hoare
Published in:
Sci. Comput. Program. (1981)
Keyphrases
</>
communication channels
artificial intelligence
provably correct
machine learning
data mining
information retrieval
case study
expert systems
data model