Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference27 articles.
1. Ashcroft, E.A.: Proving assertions about parallel programs. Journ. Comput. System Sci. 10, 110?135 (1975)
2. Ben-Ari, M.: Temporal logic proofs of concurrent programs. Dept. Appl. Math., Weizmann Institute of Science, Report CS82-12, 1982
3. Clarke, E.M.: Synthesis of resource invariants for concurrent programs. ACM Trans. on Programming Languages and Systems. 2 (3), 338?358 (1980)
4. Courtois, P.J., Heymans, F., Parnas, D.L.: Concurrent control with ?readers? and ?writers?. Comm. ACM 14, 667?668 (1971)
5. Dijkstra, E.M.: Hierarchical orderings of sequential processes. Acta Informat. 1, 115?138 (1971)
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献