Type Checking for Protocol Role Enactments via Commitments.

Matteo Baldoni Cristina Baroglio Federico Capuzzimati Roberto Micalizio

Published in: AAMAS (2019)

Keyphrases

type checking
database query languages
data types
query processor
relational calculus
data streams
preprocessing
spatio temporal