Login / Signup

Full Abstraction in a Subtyped pi-Calculus with Linear Types.

Romain DemangeonKohei Honda
Published in: CONCUR (2011)
Keyphrases
  • high level
  • real time
  • data mining
  • case study
  • data structure
  • expert systems
  • closed form
  • linear systems