Login / Signup
A Uniform Reduction Equivalence for Process Calculi.
Zining Cao
Published in:
APLAS (2004)
Keyphrases
</>
real time
database
real world
data mining
database systems
expert systems
data model
reduction method