1. Deriving protocol specifications from service specifications including parameters;Gotzhein;ACM Trans. Comput. Syst.,1990
2. H. Erdogmus, R. Johnston, On the specification and synthesis of communicating processes, IEEE Trans. Software Eng. 16(12).
3. Deriving protocol specifications from service specifications written in LOTOS;Kant;Distrib. Comput.,1996
4. P.-Y.M. Chu, M.T. Liu, Protocol synthesis in a state-transition model, in: Proceedings of COMPSAC ’88, 1988, pp. 505–512.
5. T. Higashino, K. Okano, H. Imajo, K. Taniguchi, Deriving protocol specifications from service specifications in extended FSM models, in: Proceedings of 13th International Conference on Distributed Computing Systems (ICDCS-13), 1993, pp. 141–148.