C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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