Author:
Liu Zhiming,Jifeng He,Li Xiaoshan
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Abadi, M., Cardeli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3) (1997)
3. Arbab, F.: Reo: A channel-based coordination of model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1999)
5. Lecture Notes in Computer Science;P. Borba,2003
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jifeng He at Oxford and Beyond: An Appreciation;Theories of Programming and Formal Methods;2023
2. Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling;Engineering Trustworthy Software Systems;2020
3. Mobile CSP;Lecture Notes in Computer Science;2016
4. CSP and Kripke Structures;Theoretical Aspects of Computing - ICTAC 2015;2015
5. The Observer Pattern Research Based on rCOS;Applied Mechanics and Materials;2014-02-06