Automata and Logics for Concurrent Systems: Five Models in Five Pages
Résumé
We survey various automata models of concurrent systems and their connection with monadic second-order logic: finite automata, class memory automata, nested-word automata, asynchronous automata, and message-passing automata.