On the Monitorability of Session Types, in Theory and Practice (Extended Version).

Christian Bartolo Burlò Adrian Francalanza Alceste Scalas

Published in: CoRR (2021)

Keyphrases

theoretical insights
theoretical framework
decision making
theoretical basis
theoretical frameworks
database
data sets
databases
data mining
machine learning
theoretical foundation
information theory
general theory