D. Weinbaum;E. Shapiro
Weizmann Institute of Science;Weizmann Institute of Science
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing