Axiomatising ST-Bisimulation Equivalence.

Nadia Busi Rob J. van Glabbeek Roberto Gorrieri

Published in: PROCOMET (1994)

Keyphrases

equivalence relation
rough set theory
database
databases
rough sets
domain independent
high level
objective function
wide range
search algorithm
multiresolution