Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,General Computer Science
Reference27 articles.
1. L. Bougé, Symmetry and genericity for CSP distributed systems, Report 85-32, LITP, University of Paris 7, 1985.
2. L. Bougé, On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes,Acta Inform. (to appear).
3. G. Bracha and S. Toueg, Distributed deadlock detection,Distrib. Comput.,2 (1987), 127–138.
4. K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems,ACM Trans. Comput. Systems,3 (1985), 63–75.
5. K. M. Chandy and J. Misra, A paradigm for detecting quiescent properties in distributed computations, inLogics and Models of Concurrent Systems (K. R. Apt, ed.), Springer-Verlag, Berlin, 1985, pp. 325–341.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献