Modelling Component Behaviour with Concurrent Automata.

Sotiris Moschoyiannis Michael W. Shields Paul J. Krause

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

Keyphrases

cellular automata
mutual exclusion
regular expressions
finite state
qualitative models
finite automata
human behaviour
database
information retrieval
search engine
multi agent systems
finite state machines
probabilistic automata