Login / Signup
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