Author:
Abraham Uri,Ben-David Shai,Magidor Menachem
Reference9 articles.
1. U. Abraham, On interprocess communication and the problem of common atomic registers, manuscript, 1989.
2. U.Abraham and S. Ben-David, Informal and Formal Correctness Proofs for Programs, manuscript, November 1987.
3. F. D. Anger, On Lamport’s interprocess communication model, ACM Transactions on Programming Languages and Systems, Vol. 11 No. 3, July 1989, 404–417.
4. S.Ben-David, The global-time assumption and semantics for concurrent systems, Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing, ACM Press, 1988, 223–232.
5. J. van Benthem, Time, Logic and computation, in Bakker, Roever and Rozenberg (Eds), Linear Time, Branching Time and partial Order in Logics and Models for Concurrency, pp.1–49, Springer, Berlin, 1989.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献