Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference3 articles.
1. Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages pp. 43?112. (F. Genuysed) Academic Press, New York 1968
2. Dijkstra, E.W.: An assertional proof of a program. G.L. Peterson, EWD 779 (1981)
3. Peterson, G.L.: Myths about the mutual exclusion problem. Information Processing Letters 12, 4, 115?116 (1981)
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献