Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-
75,44 €
It provides a unifying theory of communicating automata and their logical properties. In particular, the book covers finite automata, asynchronous (cellular) automata, communicating finite-state machines, and lossy channel systems.
Jetzt bei Ebay: