Login / Signup

Subtyping for session types in the pi calculus.

Simon J. GayMalcolm Hole
Published in: Acta Informatica (2005)
Keyphrases
  • artificial neural networks
  • database
  • information systems
  • decision making
  • multi agent