Author:
Engelhardt Kai,Moses Yoram
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Chou, C.T., Gafni, E.: Understanding and verifying distributed algorithms using stratified decomposition. In: Dolev, D. (ed.) PODC 1988, pp. 44–65. ACM Press, New York (1988)
2. de Roever, W.-P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification. Cambridge University Press, Cambridge (2001)
3. Elrad, T., Francez, N.: Decomposition of distributed programs into communication-closed layers. Science of Computer Programming 2(3), 155–173 (1982)
4. Lecture Notes in Computer Science;K. Engelhardt,2005
5. Lecture Notes in Computer Science;K. Engelhardt,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献