Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata.

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

human computer interaction
cellular automata
finite automata
user interaction
shortest path
temporal logic
temporal reasoning
regular expressions
human interaction
data sets
human actions
path finding
initial state
lattice gas