{"product_id":"9783540329220","title":"Formal Models of Communicating Systems","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.","brand":"Benedikt Bollig","offers":[{"title":"Default Title","offer_id":47660291129662,"sku":"9783540329220","price":1537.68,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540329220.jpg?v=1707721739","url":"https:\/\/exclusivebooks.co.za\/products\/9783540329220","provider":"Exclusive Books Online","version":"1.0","type":"link"}