Author:
Canal Carlos,Pimentel Ernesto,Troya José M.
Reference35 articles.
1. A calculus of mobile processes;Milner;J. Inform. Comput.,1992
2. Extending CORBA interfaces with π-calculus for protocol compatibility;Canal,2000
3. B. Victor, A verification tool for the polyadic π-calculus, Master's Thesis, Department of Computer Systems, Uppsala University, May, 1994.
4. Special issue on software architecture;Garlan;IEEE Trans. Software Eng.,1995
5. Software Architecture. Perspectives of an Emerging Discipline;Shaw,1996
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compatibility checking for asynchronously communicating software;Science of Computer Programming;2021-05
2. Architecture of A Launch Control Unit for the Compatibility of Weapon Systems Based on Shipboard;Journal of the Korea Institute of Military Science and Technology;2020-04-05
3. Rigorous Design and Deployment of IoT Applications;2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE);2019-05
4. Automated Composition, Analysis and Deployment of IoT Applications;Software Technology: Methods and Tools;2019
5. A refinement-based approach for specifying multi-scale software architectures;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09