Author:
Zoubeyr Farah,Tari Abdelkamel,Ouksel Aris M.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems and Management,Hardware and Architecture,Information Systems,Software
Reference11 articles.
1. Choi, T.Y.: A structured approach to the analysis and design of finite state protocols. Ph.D.Thesis, School of Electrical Engineering, Georgia Institute of Technology (1983)
2. Gouda, M.G., Yu, Y.T.: Protocol validation by maximal progress state exploration. In: Proceedings of ACM SIGCOMM, pp. 68–75 (1983)
3. Lin, F.J., Chu, P.M., Liu, M.T.: Protocol verification using reachability analysis: the state space explosion problem and relief strategies. Comput. Commun. Rev. 17(5), 126–143 (1987)
4. Peng, W., Purushothaman, S.: Data flow analysis of communicating finite state machines. ACM Trans. Program. Lang. Syst. 13(3), 399–442 (1991)
5. Hung, Y.C., Chen, G.H.: Reverse reachability analysis: a new technique for deadlock detection on communicating finite state machines. Softw. Pract. Exp. 23(9), 88–93 (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A correct-by-construction model for asynchronously communicating systems;International Journal on Software Tools for Technology Transfer;2016-04-22