A bisimulation-based approach to the analysis of human-computer interaction