Items related to Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic - Softcover
Book 25 of 45: Texts in Theoretical Computer Science. An EATCS
Synopsis
Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.
"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.
Search results for Formal Models of Communicating Systems: Languages,...
Stock Image
Formal Models of Communicating Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # HDDQB0NZMX
Buy New
US$ 53.33
US$ 6.16 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 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
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
Buy New
US$ 61.71
US$ 25.76 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Formal Models of Communicating Systems
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 192. Seller Inventory # 263060283
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
Buy New
US$ 76.35
US$ 19.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Models of Communicating Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 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
Buy New
US$ 91.31
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Formal Models of Communicating Systems
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 192. Seller Inventory # 183060273
Buy New
US$ 97.19
US$ 11.15 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 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
Buy New
US$ 55.81
US$ 54.88 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
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
Buy New
US$ 74.38
US$ 39.21 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 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 English. Seller Inventory # ria9783642069475_new
Buy New
US$ 114.70
US$ 12.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available