Login / Signup

A Calculus of Global Interaction based on Session Types.

Marco CarboneKohei HondaNobuko Yoshida
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • human computer interaction
  • database
  • databases
  • decision trees
  • information technology
  • user interaction
  • algebraic structure