Imagen del editor

Modeling and Analysis of Communicating Systems (Hardback)

Jan F. Groote, Mohammad Reza Mousavi

1 valoraciones por Goodreads
ISBN 10: 0262027712 / ISBN 13: 9780262027717
Editorial: MIT Press Ltd, United States, 2014
Nuevos Condición: New Encuadernación de tapa dura
Librería: The Book Depository (London, Reino Unido)

Librería en AbeBooks desde: 14 de enero de 2010

Cantidad: 10

Comprar nuevo
Precio recomendado: 55.00
Precio: EUR 49,90 Convertir moneda
Gastos de envío: EUR 0,00 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Language: English . Brand New Book. 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. N° de ref. de la librería AAH9780262027717

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Modeling and Analysis of Communicating ...

Editorial: MIT Press Ltd, United States

Año de publicación: 2014

Encuadernación: Hardback

Condición del libro:New

Acerca de

Sinopsis:

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.

About the Author:

Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands. Mohammad Reza Mousavi is Professor of Computer Systems Engineering at the Center for Research on Embedded Systems at Halmstad University, Sweden.

"Sobre este título" puede pertenecer a otra edición de este libro.

Descripción de la librería

Book Depository is an international bookseller. We ship our books to over 100 countries around the globe and we are always looking to add more countries to the list. We really, really love books and offer millions of titles, currently over 10 million of them, with this figure increasing daily. Living by our motto, 'Bookseller to the World', we focus on offering as many titles as possible to as many customers as possible. Most of our titles are dispatched within 2 business days of your order. Apart from publishers, distributors and wholesalers, we even list and supply books from other retailers! We hope you enjoy our selection and discover your new favourite book.

Ver la página web de la librería

Condiciones de venta:

All books are shipped in New condition promptly, we are happy to accept returns up to 30 days from purchase. Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. Please contact the seller directly if you wish to return an order. Name of business : The Book Depository Ltd Form of legal entity : A Limited Company Business address: The Book Depository, 60 Holborn Viaduct, London, EC1A 2FD, United Kingdom Email address: abebo...

Más información
Condiciones de envío:

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. We are happy to accept returns upto 30 days from purchase. Please contact the seller directly if you wish to return an order

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue