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

Sbastien Combfis, Charles Pecheur

Browse the full EICS paper archive.