Sign in

Type checking for protocol role enactments via commitments.

Matteo BaldoniCristina BaroglioFederico CapuzzimatiRoberto Micalizio
Published in: Auton. Agents Multi Agent Syst. (2018)
Keyphrases
  • type checking
  • database query languages
  • data types
  • database
  • data structure
  • d objects
  • object model
  • abstract data types
  • query processor