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.
- PublisherSpringer
- Publication date2010
- ISBN 10 3642069479
- ISBN 13 9783642069475
- BindingPaperback
- LanguageEnglish
- Number of pages190
Other Popular Editions of the Same Title
Search results for Formal Models of Communicating Systems: Languages,...
Seller Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-order Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 11881597-n
Quantity: Over 20 available
Stock Image
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020215949
Quantity: Over 20 available
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
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
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: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 11881597-n
Quantity: Over 20 available
Stock Image
Formal Models of Communicating Systems
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 192. Seller Inventory # 183060273
Quantity: 4 available
Seller Image
Formal Models of Communicating Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642069479
ISBN 13: 9783642069475
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. 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 : 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: 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