Reasoning about Concurrent Interaction.

Lars Karlsson Joakim Gustafsson

Published in: J. Log. Comput. (1999)

Keyphrases

user interaction
database
formal theory
concurrent execution
information systems
case study
expert systems
petri net
spatial reasoning
interaction design
multimodal interaction
concurrent actions