Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Hi-index | 0.00 |