Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.

David M. Williams, Joeri de Ruiter, Wan J. Fokkink

Browse the full ICTAC paper archive.