On Communicating Finite-State Machines

Journal of the ACM (JACM)

Volumn 30, Issue 2, 1983, Pages 323-342

  Brand, Daniel ^a,b   Zafiropulo, Pitro ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Communications

Indexed keywords

COMPUTER NETWORKS;

EID: 0020735797     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/322374.322380     Document Type: Article

References (28)

1. BARTLETT, K A., SCANTLEBURY, R A, AND WILKINSON, P T A note of reliable full-duplex transmission over half-duplex links Commun, ACM 12, 5 (May 1969), 260-261.
2. Bochmann, G V Communication protocols and error recovery procedures, ACM Oper. Syst Rev. 9. 3 (July 1975), pp 45-50
3. Bochmann G V Finite state description of communications protocols. Proc. Computer Network Protocols Symp., Liege, Belgium, Feb. 1978, pp F3-1-F3-11
4. Bochmann, O.V., and Gescei, J. A unified method for specification and verification of protocols. Proc IFIP 77, AFIPS Press, Arlington, Va, 1977, pp 229-234
5. Bochmann, G.V., and Merlin, P, On the construction of communication protocols. Proc. Int. Conf on Computer Communications, Oct 1980, pp 371-378
6. Bochmann, G.V., and Sunshine, C. Use of formal methods in communication protocol design. IEEE Trans. Commun COM-28, 4 (Apt, 1980), 624-631.
7. Brand, D., and Joyner, W.H., Jr. Verification of protocols using symbolic execution. Comput. Networks 2, 4/5 (Sept./Oct. 1978), 351-360.
8. Brand, D., and Zafiropulo, P. Synthesis of protocols for an unlimited number of processes. In Proc. of Trends and Applications 1980: Computer Network Protocols, National Bureau of Standards, Gaithersburg, Md., May 1980, pp. 29-40.
9. Brand, D., and Zafiropulo, P. On communicating finite-state machines. Tech Rep. RZ 1053, IBM Zurich Research Lab., Rüschlikon, Switzerland, Jan, 1981.
10. CCITT. Recommendation X 21 (revised), AP VI. No. 55-E, Geaeve, Switzerland, 1976.
11. Danthine, A, Ed Proc Computer Network Protocols Symp, Liege, Belgium, 1978; see also special issue on computer network protocols, Comput Networks 2, 4/5 (Sept /Oct. 1978)
12. Devy, M., and Diaz, M Multilevel specification and validation of the control in communication systems. Conf on Distributed Comput. Syst, Oct 1979, pp. 43-50
13. Gouda, M.G., and Manning, E.G. On the modeling, analysis and design of protocols-A special class of software structures Proc. 2nd Int Conf on Software engineering, San Francisco, Calif, Oct. 1976, pp. 256-262
14. Hailpern, B., and Owicki, S. verifying network protocols using temporal logic. In froc Trends and Applications 19S& Computer Network Protocols, National Bureau of Standards, Gaithersburg, Md., May 1980, pp IS-28.
15. Hajek, J Automatically verified data transfer protocols Proc Int Conf on Computer Communcations, Kyoto, Japan, Sept 1978, pp. 749-756
16. Karp, R M, and Miller, R E Parallel program schemata: A mathematical model for parallel computation Conf Rec Sth Ann. IEEE Symp on Switching and Automata Theory {Oct 1967), IEEE, New York, pp 55-61.
17. Merlin, P.M. A methodology for the design and irnplementation of communication protocols IEEE Trans Commun. COM-24, 6 (June 1976), 614-621.
18. Mekun, P.M. Specification and validation of protocols. IEEE Trans Commun. COM-27, 11 (Nov 1979), 1671-1680
19. Peterson, J L Petri nets Comput. Surv. 9, 3 (Sept. 1977), 223-251
20. Rudin, H, West, C H., and Zafiropulo, P Automated protocol validation. One cham of development Proc Computer Network Protocols Conf., Liege, Belgium, Feb 1978, pp F4-1-F4-6
21. Schultz, G D., Rose, D B., West, C H, and Gray, J.P. Executable description and validation of SNA. IEEE Trans. Commun COM-2S, 4 (Apr. 1980), 661-667.
22. Stenning, NV. A data transfer protocol Compul Networks 1,2 {Ssjpx 1976), 99-110
23. Sunshine, C.A Communication Protocol Modeling. Artech House, Dedham, Mass, 1981
24. Symons, F.J.W Representation, analysis and vcniication of communication protocols. Rep. No 7380, Telecom Australia Research Labs, November 1980.
25. West, C H. General technique for communications protocol vahdaaon IBM J. Res. Devel 22, 4 (July 1978), 393-404.
26. YoEU, M., AND Barzilai, Z. Behavioral descnption of communication switching systems using extended Petn nets. Digital Processes 3 (1977), 307-320.
27. Zafiropulo, P. Protocol validation by duologue-matrix analysis IEEE Trans Commun COM-26, 8 (Aug 1978), 1187-1194
28. Zafiropulo, P, West, C H, Rudin, H, Cowan, D.D., and Brand, D. Towards analyzing and synthesizing protocols IEEE Trans Commun COM-25, 4 (Apr 1980), 651-661.