Items related to Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic - Softcover
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.
Review
From the reviews:
"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. ... The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 47.01
£ 9.39 shipping from Germany to United Kingdom
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for Formal Models of Communicating Systems: Languages,...
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10: 3642069479
ISBN 13: 9783642069475
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9783642069475
Quantity: 2 available
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 # 11881597-n
Quantity: Over 20 available
Seller Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642069479
ISBN 13: 9783642069475
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642069475
Quantity: 1 available
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 # 11881597-n
Quantity: Over 20 available
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642069479
ISBN 13: 9783642069475
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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 # 5046033
Quantity: Over 20 available
Stock Image
Formal Models of Communicating Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 192 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5836260
Quantity: 4 available
Stock Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642069475
Quantity: 10 available
Stock Image
Formal Models of Communicating Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 192. Seller Inventory # 263060283
Quantity: 4 available
Stock Image
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642069475_new
Quantity: Over 20 available
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10: 3642069479
ISBN 13: 9783642069475
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. Seller Inventory # 9783642069475
Quantity: 1 available