Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. [Atkinson and Hewitt 79] Ktkinson, R. and Hewitt, C. Specification and Proof Techniques for Serializers. IEEE Transactions on Software Engineering SE-5 No. 1, IEEE, January, 1979.
2. [Backus 78] Backus, J. Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. Communications of the ACM 21, 8 (August 1978), 613–641.
3. [Clinger 81] Clinger, W.D. Foundations of Actor Semantics. AI-TR-633, MIT Artificial Intelligence Laboratory, May, 1981.
4. [Dijkstra 77] Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, 1977.
5. [Fosseen 72] Fosseen, J.B. Representation of Algorithms by Maximally Parallel Schemata. Master Th., Massachusetts Institute of Technology, 1972.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献