Author:
Gong Jaecheol,Man Kim Byeong,Yoon Hyunsoo,kyu Lee Heung,Hwang Si-Yeong
Reference15 articles.
1. Finite state description of communication protocols;Bochmann;Comput. Networks,1978
2. On communicating finite-state machines;Brand;J. ACM,1983
3. Specifiations of signaling system no. 7,1985
4. Modeling and verification of end-to-end transport protocools;Danthine;Comput. Networks,1978
5. Protocol validation by maximal progress state exploration;Gouda;IEEE Trans. Comm.,1984