TY - BOOK ID - 211996 TI - Formal models of communicating systems : languages, automata, and monadic second-order logic PY - 2006 SN - 1280627263 9786610627264 3540329234 3540329226 PB - Berlin ; New York : Springer, DB - UniCat KW - Electronic data processing KW - Computer multitasking. KW - Distributed processing. KW - Computer multi-tasking KW - Concurrent processing (Computer science) KW - Multi-tasking, Computer KW - Multitasking (Computer science) KW - Distributed computer systems in electronic data processing KW - Distributed computing KW - Distributed processing in electronic data processing KW - Computer networks UR - https://www.unicat.be/uniCat?func=search&query=sysid:211996 AB - Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties. It covers finite automata, asynchronous (cellular) automata and lossy channel systems. ER -