libcats.org
Главная

Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic

Обложка книги Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic

Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: