A correctness criterion for CSP parallel programs.

Frederick G. Sayward

Published in: ACM SIGPLAN Notices (1975)

Keyphrases

correctness criterion
constraint satisfaction problems
integrity constraints
concurrency control
multidatabase systems
data replication
linear logic
real time
wireless networks
concurrency control protocols