Items related to Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series) - Hardcover
Book 25 of 44: Texts in Theoretical Computer Science. An EATCS
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Formal Models of Communicating Systems: Languages,...
Stock Image
Formal Models Of Communicating Systems
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-240180
Stock Image
Formal Models Of Communicating Systems
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-155914
Stock Image
Formal Models of Communicating Systems
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. x + 182 1st Edition. Seller Inventory # 26299066
Stock Image
Formal Models of Communicating Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. x + 182 Illus. This item is printed on demand. Seller Inventory # 7548901
Buy Used
£ 43.48
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Models of Communicating Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. x + 182. Seller Inventory # 18299056
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg Jul 2006, 2006
ISBN 10: 3540329226
ISBN 13: 9783540329220
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. Seller Inventory # 9783540329220
Seller Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-order Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4890298-n
Seller Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-order Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4890298-n
Buy New
£ 55.07
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Sehr gut. 181 p. Ehemaliges Bibliotheksexemplar mit Signatur und Stempel. Leichte Gebrauchsspuren, guter Zustand. Former library book in very good condition. 9783540329220 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 970958
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540329226
ISBN 13: 9783540329220
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Precise characterizations of automata models in terms of descriptive logic formalisms Software engineers can use fragments of monadic second-order logic to specify desired system behaviorsFirst monograph dealing with the relationship betwee. Seller Inventory # 448924538
Buy New
£ 41.52
£ 40.83 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available