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