Understanding behaviour of distributed systems using mCRL2

Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.

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

Full description

Saved in:
Bibliographic Details
Main Authors: Atif, Muhammad, (Computer scientist) (Author), Groote, J. F. (Jan Friso), 1965- (Author)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2023.
Series:Studies in systems, decision and control ; v. 458.
Subjects:
Electronic data processing > Distributed processing.
System analysis > Computer simulation.
Electronic data processing > Distributed processing
System analysis > Computer simulation
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Available

Similar Items