Communicating sequential processes
Communicating sequential processes
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
A generic platform for addressing the multimodal challenge
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Communication and Concurrency
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
| Hi-index | 0.00 |