Login / Signup
Type checking for protocol role enactments via commitments.
Matteo Baldoni
Cristina Baroglio
Federico Capuzzimati
Roberto 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