Stephen D. Brookes;G. Winskel;A. W. Roscoe
-;-;-
Liveness and fairness properties in multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1