Divide and Congruence II: Delay and Weak Bisimilarity.

Wan J. Fokkink Rob J. van Glabbeek

Published in: LICS (2016)

Keyphrases

neural network
three dimensional
database
databases
image processing
multiscale
special case
search engine
information systems
knowledge base