Bisimulation as a verification and validation technique for message sequence charts - Wall, Philip Gerhard (Department of Computer Science, 2014)
Includes bibliographical references.