Author:
Jiang JianMin,Zhang Shi,Gong Ping,Hong Zhong,Yue HouGuang
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Berardi D, Calvanese D, De Giacomo G, et al. Automatic composition of e-services that export their behavior. In: Orlowska M E, Weerawarana S, Papazoglou M P, et al., eds. Proceedings of First International Conference on Service Oriented Computing (ICSOC), Trento, 2003. 43–58
2. Brand D, Zafiropulo P. On communicating finite-state machines. J ACM, 1983, 30: 323–342
3. Bolognesi T, Brinksma E. Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst, 1987, 14: 25–59
4. Lect Notes Comput Sci;R. Milner,1980
5. Hoare C A R. Communicating Sequential Processes. Englewood Cliffs, New Jersey: Prentice-Hall, 1985
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event-based functional decomposition;Information and Computation;2020-04
2. From Use Case to Use Case Slices;International Journal of Information System Modeling and Design;2019-10
3. Modeling and Analyzing Incremental Natures of Developing Software;ACM Transactions on Management Information Systems;2019-06-30
4. Isolation Modeling and Analysis Based on Mobility;ACM Transactions on Software Engineering and Methodology;2019-04-09
5. Decomposition of UML activity diagrams;Software: Practice and Experience;2017-08-10