The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.

Neil Henderson, Stephen Paynter

Browse the full FM paper archive.