process modeling

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif,Jan Friso Groote