Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.

Luca Ciccone Luca Padovani

Published in: CoRR (2021)

Keyphrases

learning algorithm
management system
data sets
hidden markov models
intelligent systems
learning systems
structural properties
neural network
genetic algorithm
expert systems
probabilistic model
multi class
computer systems
complex systems