Bisimulation as a Logical Relation.

Claudio Hermida Uday S. Reddy Edmund P. Robinson Alessio Santamaria

Published in: CoRR (2020)

Keyphrases

equivalence relation
real time
case study
website
data sets
multiresolution
rough sets