Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas Christian Williams Andreas Nuyts Dominique Devriese Frank Piessens

Published in: MFCS (2021)

Keyphrases

evaluation criteria
database
high level
selection criteria
machine learning
multi criteria
special case
data sets
genetic algorithm
e learning
image sequences
probabilistic model
higher level
multiple criteria
socio technical
state machines