Login / Signup

Global Principal Typing in Partially Commutative Asynchronous Sessions.

Dimitris MostrousNobuko YoshidaKohei Honda
Published in: ESOP (2009)
Keyphrases
  • artificial intelligence
  • real world
  • knowledge base
  • similarity measure
  • digital libraries