Login / Signup

Duality and i/o-Types in the π-Calculus.

Daniel HirschkoffJean-Marie MadiotDavide Sangiorgi
Published in: CONCUR (2012)
Keyphrases
  • input output
  • linear programming
  • file system
  • expert systems
  • neural network
  • machine learning
  • information retrieval
  • main memory