Login / Signup
On the Monitorability of Session Types, in Theory and Practice (Artifact).
Christian Bartolo Burlò
Adrian Francalanza
Alceste Scalas
Published in:
Dagstuhl Artifacts Ser. (2021)
Keyphrases
</>
theoretical basis
theoretical insights
support vector
conceptual framework
general theory
real time
data mining
information retrieval
digital libraries
information technology
data model
computational model
theoretical framework
theoretical foundation
information theory