Synchronization of concurrent processes without globality assumptions.

Published in: ACM SIGPLAN Notices (1981)

Keyphrases

concurrent processes
concurrent programs
petri net
simplifying assumptions
computer vision
sufficient conditions
databases
image processing
case study
reinforcement learning
data structure
relational databases