Characteristic Formulae for Session Types.

Julien Lange Nobuko Yoshida

Published in: TACAS (2016)

Keyphrases

real time
data sets
machine learning
social networks
computer vision
recommender systems
management system