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

 
Image Not Available

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 date2006
  • ISBN 10 3540329226
  • ISBN 13 9783540329220
  • BindingHardcover
  • LanguageEnglish
  • Number of pages190

Buy Used

181 p. Ehemaliges Bibliotheksexemplar...
View this item

US$ 18.22 shipping from Germany to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  3642069479 ISBN 13:  9783642069475
Publisher: Springer, 2010
Softcover

Search results for Formal Models of Communicating Systems: Languages,...

Seller Image

Bollig, Benedikt,
Published by Berlin: Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
Used Hardcover

Seller: Antiquariat Bookfarm, Löbnitz, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. 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

Contact seller

Buy Used

US$ 24.74
Convert currency
Shipping: US$ 18.22
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Bollig, Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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 # ABTA-219883

Contact seller

Buy New

US$ 49.36
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

0
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-266737

Contact seller

Buy New

US$ 49.36
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Benedikt Bollig
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. x + 182 1st Edition. Seller Inventory # 26299066

Contact seller

Buy New

US$ 51.13
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Bollig Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. x + 182 Illus. This item is printed on demand. Seller Inventory # 7548901

Contact seller

Buy New

US$ 51.23
Convert currency
Shipping: US$ 8.65
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Bollig, Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020165334

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bollig Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. x + 182. Seller Inventory # 18299056

Contact seller

Buy New

US$ 55.46
Convert currency
Shipping: US$ 11.33
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Bollig, Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783540329220

Contact seller

Buy New

US$ 74.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bollig, Benedikt
Published by Springer, 2006
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540329220_new

Contact seller

Buy New

US$ 69.65
Convert currency
Shipping: US$ 15.94
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Benedikt Bollig
ISBN 10: 3540329226 ISBN 13: 9783540329220
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

US$ 62.72
Convert currency
Shipping: US$ 26.19
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 4 more copies of this book

View all search results for this book