4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Society & Social Sci... | >> | Education | >> | Formal Models Of Com... |
4.0%OFF
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)
-
ISBN
:
9783540329220
-
Publisher
:
Springer
-
Subject
:
Education, Computer Science, Computer Programming / Software Development
-
Binding
:
HARDCOVER
-
Pages
:
192
-
Year
:
2006
₹
8529.0
4.0% OFF
₹
8187.0
8187.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
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.
Related Items
-
of
135.0
