Understanding Behaviour of Distributed Systems Using mCRL2
- Книги
- 1-03-2023, 09:17
- 138
- 0
- voska89
Free Download Understanding Behaviour of Distributed Systems Using mCRL2
English | 2023 | ISBN: 3031230078 | 362 Pages | PDF EPUB (True) | 27 MB
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.
Support Buy Premium In Links
Links are Interchangeable - No Password - Single Extraction