Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.

Qin Li, Graeme Smith

Browse the full ICECCS paper archive.