Enabling Preserving Bisimulation Equivalence.

Rob van Glabbeek Peter Höfner Weiyou Wang

Published in: CONCUR (2021)

Keyphrases

equivalence relation
decision making
data sets
data structure
image details
real time
neural network
image processing
image sequences
special case
hidden markov models
rough sets