Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif, Jan Friso Groote, 9783031230073, 9783031230080