Login / Signup

Using Session Types for Reasoning About Boundedness in the Pi-Calculus.

Hans Hüttel
Published in: EXPRESS/SOS (2017)
Keyphrases
  • sufficient conditions
  • databases
  • real world
  • data mining
  • machine learning