D.: Detecting stable properties of networks in concurrent logic programming languages (1988)

by V Saraswat, K Kahn, U Shapiro, Weinbaum
Venue:In: Seventh Annual ACM Symposium on Principles of Distributed Computing