An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions.

David Ruiz, Rafael Corchuelo, Jos Antonio Prez, Miguel Toro

Browse the full EuroPar paper archive.