Jürgen Bohn;Wil Janssen
-;-
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing