Login / Signup

A Formal Framework for Interaction Protocol Engineering.

Fernando Alonso AmoSonia FrutosGenoveva López GómezF. Javier Soriano Camino
Published in: CEEMAS (2005)
Keyphrases
  • main contribution
  • lightweight
  • database
  • user interaction
  • interaction protocols