Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).

Lalita Jategaonkar Albert R. Meyer

Published in: ICALP (1993)

Keyphrases

database systems
connected components
real world
computer vision
concurrency control
relational algebra
information retrieval
knowledge base
multiscale
reinforcement learning
artificial neural networks
making decisions