Author:
Rees D.Ll.L.,Stephenson K.,Tucker J.V.
Reference45 articles.
1. Algebraic Specification;Bergstra,1989
2. Module algebra;Bergstra;J. ACM,1990
3. M. Bidoit, D. Sannella, A, Tarlecki, Architectural specifications in CASL, in: A.M. Haerberer (Ed.), Proc. 7th Int. Conf. on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, vol. 1548, Springer, Berlin, 1999, pp. 341–357.
4. Implementing remote procedure calls;Birrel;ACM Trans. Comput. Systems,1984
5. The Unified Modelling Language User Guide;Booch,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献