A Calculus of Global Interaction based on Session Types.

Marco Carbone Kohei Honda Nobuko Yoshida

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

human computer interaction
database
databases
decision trees
information technology
user interaction
algebraic structure