Permutation rewriting and algorithmic verification
Article in Information and Computation (February 2007)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
From Finite State Communication Protocols to High-Level Message Sequence Charts
Book chapter (July 2001)
Permutation Rewriting and Algorithmic Verification
Conference proceeding (January 2001)