Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types.

Mario Bravetti Marco Carbone Gianluigi Zavattaro

Published in: CoRR (2017)

Keyphrases

datalog programs
artificial intelligence
keywords
first order logic
database
real time
data sets
databases
neural network
case study
sufficient conditions
np complete
online discussion