Author:
Ng Keng,Kramer Jeff,Magee Jeff,Dulay Naranker
Reference23 articles.
1. “ANSAware Release 3.0 Reference Manual”, A.P.M. Ltd. 1991, Poseiden House, Castle Park, Cambridge CB3 ORD, U.K.
2. J. Kramer, J. Magee and A. Finkelstein. “A Constructive Design Approach to the Design of Distributed Systems”, in Proceedings of the 10th International Conference on Distributed Computing Systems. May 1990, pp 580–587.
3. S. Eisenbach and R. Paterson. “π-Calculus Semantics for the Concurrent Configuration Language Darwin”, in Proceedings of the 26th Hawaii International Conference on System Sciences, January 1993, Vol II (Software Technology) pp. 456–462.
4. S.C. Cheung and J. Kramer. “Enhancing Compositional Reachability Analysis with Context Constraints”, in the 1st ACM SIGSOFT Symposium on the Foundation of Software Engineering, ACM SIGSOFT, Los Angeles, California, December 1993, pp 115–125.
5. S.C. Cheung and J. Kramer. “Tractable Flow Analysis for Anomaly Detection in Distributed Programs”, in 4th European Software Engineering Conference (ESEC93), Germany, September 1993, LNCS 717, Springer-Verlag, pp. 282–300.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献