Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference32 articles.
1. J.W. de Bakker, W.-P. de Roever, and G. Rozenberg (Eds.),Stepwise Refinement of Distributed Systems, Lecture Notes in Computer Science 430, Springer 1990.
2. W.R.Bevier, “Kit and the short stack,”Journal of Automated Reasoning, Vol 5, pp. 519–530, 1989.
3. B. Boyer and J. Moore, “MJRTY: A fast majority algorithm,” Unpublished.
4. M.Broy, “Views of queues,”Science of Computer Programming, Vol. 11, pp. 65–88, 1988.
5. M. Broy, “Functional specification of time sensitive communicating systems,”REX Workshop, in [1]. pp. 153–179.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Broy, Manfred;Encyclopedia of Software Engineering;2002-01-15
2. Using a coordination language to specify and analyze systems containing mobile components;ACM Transactions on Software Engineering and Methodology;2000-04
3. Conclusion;Electronic Notes in Theoretical Computer Science;1999