Modular Synthesis of Deadlock-Free Control Structures.

Ajoy Kumar Datta Sukumar Ghosh

Published in: FSTTCS (1986)

Keyphrases

control structures
deadlock free
concurrency control
control structure
routing algorithm
transaction processing
fine grained
knowledge base
image processing
image segmentation
distributed databases