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

Bibliographic Details

Online Access:	Full Text (via Springer)
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.