Author:
Lauer P. E.,Shields M. W.,Cotronis J. Y.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Best, E. Adequacy of Path Programs In: Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Hamburg, 1979. (Ed. Prof. Wilfried Brauer). Lecture Notes in Computer Science 84, Springer Verlag 1980.
2. Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science V. 16, Springer Verlag, pp. 89–102.
3. Campbell, R.H., Kolstad, R.B.: Path expressions in Pascal. Department of Computer Science, University of Illinois at Champaign-Urbana, Urbana, IL, 1979.
4. Dahl, O-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming, A.P.I.C. Studies in Data Processing No. 8, Academic Press, 1972.
5. Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages, ed. Cenuuys, Academic Press 1968.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献