Author:
Abrial J. R.,Schuman S. A.
Reference12 articles.
1. DIJKSTRA, E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM 18, 8 (Aug. 1975)
2. HOARE, C.A.R. Communicating sequential processes. Comm. ACM 21,8 (Aug. 1978)
3. BRINCH HANSEN, P. Distributed processes: A concurrent programming concept. Comm. ACM 21,11 (Nov. 1978)
4. OWICKI, S. GRIES, D. An axiomatic proof technique for parallel programs. I. Acta Informatica 6 (1976)
5. OWICKI, S. Axiomatic proof techniques for parallel programs Dept. C.S. Cornell University TR 75–251 (1975)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献