Understanding Behaviour of Distributed Systems Using mCRL2 2 authors - Hardback £159.99 Find out more