Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference21 articles.
1. Best, E.: Proof of a current program finding Euler paths. In: Proceedings of the MFCS'80. Lecture Notes in Computer Science, Vol. 88. Berlin Heidelberg New York: Springer 1980
2. Dijkstra, E.W.: Finding the correctness proof of a concurrent program. Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A, Vol. 81(2), 1978
3. Dijkstra, E.W., Lamport, L., Martin, A.J., Scholten, C.S., Steffens, E.F.M.: On-the-fly garbage collection: an exercise in cooperation. CACM 21, 966?975 (1978)
4. Eswaran, R., Gray, J., Lorie, R., Traiger, I.: On the notions of consistency and predicate locks. CACM 19, 624?633 (1976)
5. Floyd, R.W.: Assigning meanings to programs. Applied Mathematics, Vol. 19, Providence: AMS 1967
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献