On the Monitorability of Session Types, in Theory and Practice.

Christian Bartolo Burlò Adrian Francalanza Alceste Scalas

Published in: ECOOP (2021)

Keyphrases

real world
mathematical foundations
theoretical insights
search engine
data structure
multiresolution
computational model
theoretical framework
theoretical basis
database
artificial intelligence
computer vision
decision trees
expert systems
information technology
information theory