On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen Mariangiola Dezani-Ciancaglini Alceste Scalas Nobuko Yoshida

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

decision trees
database
artificial intelligence
data sets
genetic algorithm
artificial neural networks