Deciding True Concurrency Equivalences on Safe, Finite Nets.

Lalita Jategaonkar Albert R. Meyer

Published in: Theor. Comput. Sci. (1996)

Keyphrases

case study
database systems
connected components
finite number
concurrency control
artificial intelligence
information systems
decision trees
management system
input image
relational algebra