Characteristic Formulae for Session Types (extended version).

Julien Lange Nobuko Yoshida

Published in: CoRR (2015)

Keyphrases

neural network
databases
data mining
multimedia
website
high level
e learning
mobile robot