Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.

Franco Cicirelli, Libero Nigro

Browse the full FedCSIS paper archive.