Author:
Man Billy Yan-Kit,Chan Hiu Ning (Angela),Gallagher Andrew J.,Goundan Appu S.,Keen Aaron W.,Olsson Ronald A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Andrews, G.R., Olsson, R.A.: The SR Programming Language: Concurrency in Practice. The Benjamin/Cummings Publishing Co., Redwood City, CA (1993)
2. Andrews, G.R., Olsson, R.A., Coffin, M., Elshoff, I., Nilsen, K., Purdin, T., Townsend, G.: An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems 10(1), 51–86 (1988)
3. Dijkstra, E.W., Scholten, C.S.: Termination detection for disffusing computations. Inform. Process. Lett. 11(1), 1–4 (1980)
4. Francez, N.: Distributed termination. ACM Trans. Programming Languages and Systems 2(1), 42–55 (1980)
5. Helary, J., Jard, C., Plouzeau, N., Raynal, M.: Detection of stable properties in distributed applications. In: PODC 1987: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, pp. 125–136 (1987)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A definition of and linguistic support for partial quiescence;Concurrency and Computation: Practice and Experience;2008