The Coarsest Precongruences Respecting Safety and Liveness Properties.

Rob J. van Glabbeek

Published in: IFIP TCS (2010)

Keyphrases

multiresolution
structural properties
desirable properties
databases
decision making
decision trees
special case
data sets
artificial intelligence
website
data structure