Bisimulation as a logical relation.

Claudio Hermida Uday S. Reddy Edmund Robinson Alessio Santamaria

Published in: Math. Struct. Comput. Sci. (2022)

Keyphrases

equivalence relation
databases
real time
rough set theory
logical representation
machine learning
decision making
multi agent systems
binary relations
logical structure