Effect of Fairness in Model Checking of Self-stabilizing Programs.

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni

Browse the full OPODIS paper archive.