Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas Christian Williams Dominique Devriese Frank Piessens

Published in: CoRR (2020)

Keyphrases

evaluation criteria
high level
multiple criteria
multi criteria
database
computer vision
three dimensional
low level
selection criteria
artificial intelligence
information systems
multiscale
expert systems
wireless sensor networks
sufficient conditions
optimization criteria