Login / Signup
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
Romain Demangeon
Kohei Honda
Published in:
CONCUR (2011)
Keyphrases
</>
high level
real time
data mining
case study
data structure
expert systems
closed form
linear systems