Reversing concurrent systems into formal specifications.

Karl R. P. H. Leung, Clement F. S. Yim

Browse the full APSEC paper archive.