Login / Signup
A congruence rule format for name-passing process calculi.
Marcelo P. Fiore
Sam Staton
Published in:
Inf. Comput. (2009)
Keyphrases
</>
multimedia
data mining
machine learning
rule sets