A Session Type System with Subject Reduction.

Keigo Imai Shoji Yuen Kiyoshi Agusa

Published in: IEICE Trans. Inf. Syst. (2012)

Keyphrases

real time
databases
image processing
case study
search algorithm
user interaction