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