Sign in

Foundations of Session Types and Behavioural Contracts.

Hans HüttelIvan LaneseVasco T. VasconcelosLuís CairesMarco CarbonePierre-Malo DeniélouDimitris MostrousLuca PadovaniAntónio RavaraEmilio TuostoHugo Torres VieiraGianluigi Zavattaro
Published in: ACM Comput. Surv. (2016)
Keyphrases
  • artificial intelligence
  • supply chain
  • database
  • three dimensional
  • data sets
  • databases
  • neural network
  • computational complexity
  • image retrieval