Modeling and Analysis of Communicating Systems (MIT Press)

4 avg rating
( 1 ratings by Goodreads )
 
9780262027717: Modeling and Analysis of Communicating Systems (MIT Press)
View all copies of this ISBN edition:
 
 

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems

Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects.

The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.

"synopsis" may belong to another edition of this title.

About the Author:

Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands.

Review:

This book offers an excellent coverage of the foundations behind data-enriched process algebra and modal mu-calculus aimed at the rigorous modeling and verification of distributed systems. This clearly written textbook contains targeted examples and exercises and is highly recommended for readers who want to get acquainted with modern concurrency theory.

(Joost-Pieter Katoen, RWTH Aachen University & University of Twente)

mCRL2 is one of the most expressive and analytically powerful process-algebra-based tool sets currently available. With the publication of the wonderfully written Modeling and Analysis of Communicating Systems, the tool set now has the comprehensive companion manuscript it deserves.

(Scott A. Smolka, Professor of Computer Science, Stony Brook University)

mCRL2 is at the cutting edge of formal verification for distributed and concurrent systems. Groote and Mousavi provide an excellent and comprehensive guide into its underlying methods and applications. A truly insightful book.

(Wan Fokkink, VU University Amsterdam, author of Distributed Algorithms)

Finally, the book that contains the full story of mCRL2, an extremely powerful specification formalism for concurrent, complex systems empowered by an extensive tool set. This book provides detailed and instructive information on the wide range of modeling and analysis possibilities of mCRL2 and is a must-read for anyone who cares about the correctness of computer systems.

(Kim Guldstrand Larsen, Professor of Computer Science, Aalborg University; coauthor of Reactive Systems: Modelling, Specification and Verification)

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

International Edition
International Edition

1.

Jan Friso, Mousavi & Mohammad Reza Groote
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Softcover First Edition Quantity Available: > 20
International Edition
Seller:
LowPriceBookDeals
(Wilmington, DE, U.S.A.)
Rating
[?]

Book Description Softcover. Condition: New. 1st edition. Brand NEW, Paperback International Edition. Black & White or color, Cover and ISBN may be different but similar contents as US editions. Standard delivery takes 6-8 business days by USPS/DHL with tracking number. Choose expedited shipping for superfast delivery 3-5 business days by UPS/DHL/FEDEX. We also ship to PO Box addresses but by Standard delivery and shipping charges will be extra. International Edition Textbooks may bear a label -Not for sale in the U.S. or Canada- etc. printed only to discourage U.S. students from obtaining an affordable copy. Legal to use despite any disclaimer on cover as per US court. No access code or CD included unless specified. In some instances, the international textbooks may have different exercises at the end of the chapters. Printed in English. We may ship the books from multiple warehouses across the globe, including India depending upon the availability of inventory storage. In case of orders from Europe, custom charges may comply by the relevant government authority and we are not liable for it. 100% Customer satisfaction guaranteed! Please feel free to contact us for any queries. Seller Inventory # LPBDUS142575667

More information about this seller | Contact this seller

Buy New
US$ 26.29
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

2.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Paperback Quantity Available: 5
International Edition
Seller:
PRIORITY BOOKS
(Springfield, VA, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. Softcover Book, New Condition, Fast Shipping. Ready in Stock. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. 392 Pages, Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Seller Inventory # 677608

More information about this seller | Contact this seller

Buy New
US$ 26.30
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds
International Edition
International Edition

3.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Paperback First Edition Quantity Available: 2
International Edition
Seller:
ZerichSpace
(Antioch, CA, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. New condition. Softcover book, 1st Edition. (Read Description Before Buying), This is an international Edition. Black and White Book. ISBN or covers May Be Different From US Edition. Book may have Restricted Sales Disclaimer Wordings printed on cover. Books May Be Shipped From Overseas as per stock status. Seller Inventory # 761337

More information about this seller | Contact this seller

Buy New
US$ 26.33
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Jan Friso Groote, Mohammad Reza Mousavi
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Paperback Quantity Available: 2
International Edition
Seller:
Nick Book House
(Fresno, CA, U.S.A.)
Rating
[?]

Book Description Paperback. Condition: New. New, Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. Seller Inventory # 39598

More information about this seller | Contact this seller

Buy New
US$ 26.40
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Groote, Jan Friso, Mousavi, Mohammad Rez
Published by The MIT Press (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description The MIT Press, 2014. Hardcover. Condition: New. Never used!. Seller Inventory # P110262027712

More information about this seller | Contact this seller

Buy New
US$ 46.78
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

6.

Groote, Jan Friso
Published by Mit Pr (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Quantity Available: > 20
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Mit Pr, 2014. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # TM-9780262027717

More information about this seller | Contact this seller

Buy New
US$ 52.88
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Mousavi, Mohammad Reza
Published by MIT Press
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Quantity Available: > 20
Seller:
INDOO
(Avenel, NJ, U.S.A.)
Rating
[?]

Book Description MIT Press. Condition: New. Brand New. Seller Inventory # 0262027712

More information about this seller | Contact this seller

Buy New
US$ 53.61
Convert Currency

Add to Basket

Shipping: US$ 3.60
Within U.S.A.
Destination, Rates & Speeds

8.

Jan F. Groote
Published by MIT Press (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description MIT Press, 2014. HRD. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # WM-9780262027717

More information about this seller | Contact this seller

Buy New
US$ 53.01
Convert Currency

Add to Basket

Shipping: US$ 12.63
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Jan F. Groote, Mohammad Reza Mousavi
Published by MIT Press Ltd, United States (2014)
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Hardcover Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description MIT Press Ltd, United States, 2014. Hardback. Condition: New. Language: English . Brand New Book. Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systemsComplex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects.The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions. Seller Inventory # AAH9780262027717

More information about this seller | Contact this seller

Buy New
US$ 65.70
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Groote, Jan Friso
Published by The MIT Press
ISBN 10: 0262027712 ISBN 13: 9780262027717
New Hardcover Quantity Available: 1
Seller:
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description The MIT Press. Condition: New. Hardcover. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 0262027712

More information about this seller | Contact this seller

Buy New
US$ 65.90
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book