Login / Signup
Partial Correctness of Communicating Sequential Processes.
Zhou Chao Chen
C. A. R. Hoare
Published in:
ICDCS (1981)
Keyphrases
</>
communication channels
databases
artificial intelligence
social networks
bayesian networks
multiscale
search space
computational model
process model
parallel algorithm
computational models
sharing information