Zur Startseite gehen
0,00 €*
Cover: 9783031230073 | Understanding Behaviour of Distributed Systems Using mCRL2 | Buch | xv
Dekorationsartikel gehören nicht zum Leistungsumfang.
Understanding Behaviour of Distributed Systems Using mCRL2
Buch von Jan Friso Groote (u. a.)
Sprache: Englisch

192,59 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.
Zusammenfassung

Helps readers grasp basic modelling through examples and exercises

Includes case studies showing surprising results in formal analysis

Enhances readers' understanding of formal specifications

Inhaltsverzeichnis
Introducing mCRL2.- Automata to Represent Behaviour.- Communicating processes.- Behavioural Equivalences.- Data Types and Data-dependent Behaviour.- Model-Checking.- The Modal µ-Calculus.- Linear Processes and Parameterised Boolean Equation Systems.- Applications: Puzzles and Games.- Applications: Distributed Algorithms.
Details
Erscheinungsjahr: 2023
Fachbereich: Anwendungs-Software
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Studies in Systems, Decision and Control
Inhalt: xv
235 S.
88 s/w Illustr.
15 farbige Illustr.
235 p. 103 illus.
15 illus. in color.
ISBN-13: 9783031230073
ISBN-10: 3031230078
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Groote, Jan Friso
Atif, Muhammad
Hersteller: Springer International Publishing
Springer International Publishing AG
Studies in Systems, Decision and Control
Maße: 241 x 160 x 19 mm
Von/Mit: Jan Friso Groote (u. a.)
Erscheinungsdatum: 26.02.2023
Gewicht: 0,593 kg
Artikel-ID: 125798952
Zusammenfassung

Helps readers grasp basic modelling through examples and exercises

Includes case studies showing surprising results in formal analysis

Enhances readers' understanding of formal specifications

Inhaltsverzeichnis
Introducing mCRL2.- Automata to Represent Behaviour.- Communicating processes.- Behavioural Equivalences.- Data Types and Data-dependent Behaviour.- Model-Checking.- The Modal µ-Calculus.- Linear Processes and Parameterised Boolean Equation Systems.- Applications: Puzzles and Games.- Applications: Distributed Algorithms.
Details
Erscheinungsjahr: 2023
Fachbereich: Anwendungs-Software
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Reihe: Studies in Systems, Decision and Control
Inhalt: xv
235 S.
88 s/w Illustr.
15 farbige Illustr.
235 p. 103 illus.
15 illus. in color.
ISBN-13: 9783031230073
ISBN-10: 3031230078
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Groote, Jan Friso
Atif, Muhammad
Hersteller: Springer International Publishing
Springer International Publishing AG
Studies in Systems, Decision and Control
Maße: 241 x 160 x 19 mm
Von/Mit: Jan Friso Groote (u. a.)
Erscheinungsdatum: 26.02.2023
Gewicht: 0,593 kg
Artikel-ID: 125798952
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...