{"product_id":"formal-models-of-communicating-systems-languages-automata-and-monadic-second-order-logic-von-benedikt-bollig","title":"Formal Models of Communicating Systems","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540329220\"\u003e\u003ch3\u003eLanguages, Automata, and Monadic Second-Order Logic\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642069475\"\u003e\u003ch3\u003eLanguages, Automata, and Monadic Second-Order Logic\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9783540329220","offer_id":15358648713309,"sku":"9783540329220","price":53.49,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9783642069475","offer_id":39431740850269,"sku":"9783642069475","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/530dbde7-5963-40e9-9f04-9c52f304e249.jpg?v=1778134268","url":"https:\/\/shop.autorenwelt.de\/en\/products\/formal-models-of-communicating-systems-languages-automata-and-monadic-second-order-logic-von-benedikt-bollig","provider":"Autorenwelt Shop","version":"1.0","type":"link"}