Conference Proceedings

Knowledge-based Specification: Investigating Distributed Mutual Exclusion

U BONOLLO, R VAN DER MAYDEN, EA SONENBERG

Proceedings of The Seventh Biennial Bar-Ilan International Symposium on theFoundations of Artificial Intelligence | Bar-Ilan University | Published : 2001

University of Melbourne Researchers