Author:
LAMPORT Leslie,LYNCH Nancy
Reference81 articles.
1. ABRAHAMSON, K., A. ADLER, L. HIGHAM and D. KIRKPATRICK, Probabilistic solitude verification on a ring, in: Proc. 5th Ann. ACM Symp. on Principles of Distributed Computing (1986) 161–173.
2. AFEK, Y., B. AWERBUCH and E. GAFNI, Applying static network protocols to dynamic networks, in: Proc. 28th Ann. IEEE Symp. on Foundations of Computer Science (1987) 358–370.
3. Bounds on the size and transmission rate of communication protocols;AHO;Comput. Math. Appl.,1982
4. Defining liveness;ALPERN;Inform. Process. Lett.,1985
5. A proof system for communicating sequential processes;APT;ACM Trans. on Programming Languages and Systems,1980
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献