Bisimulation Congruence for Asymmetric chi ^ e -Calculus.

Farong Zhong Yuxi Fu Xiaoju Dong

Published in: ISPDC (2006)

Keyphrases

information gain
socio technical
computer algebra
data sets
database systems
multiscale
equivalence relation
automated deduction
real time
machine learning
face recognition
multi agent
relational databases
rough sets
formal language