Login / Signup
Computing strong and weak bisimulations for psi-calculi.
Magnus Johansson
Björn Victor
Joachim Parrow
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
databases
database
machine learning
high level
database systems
rough sets