Chapter 15 Specification in distributed systems

  • G. v. Bochmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 184)


Access Point Finite State Machine Protocol Specification Transport Module Transport Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bochmann80]
    G.v. Bochmann, C.A. Sunshine, (invited paper) "Formal methods in communication protocol design", IEEE Tr. COM-28, No. 4 (April 1980), pp. 624–631 (Note A, B).Google Scholar
  2. [Bochmann82]
    G.v. Bochmann, E. Cerny, M. Gagne, C. Jard, A. Leveille, C. Lacaille, M. Maksud, K.S. Raghunathan and B. Sarikaya, "Experience with formal specifications using and extended state transition model", IEEE Trans. COM-30, No.12 (Dec. 1982), pp. 2506–2513Google Scholar
  3. [Bochmann83]
    G. v. Bochmann and M. Raynal, "Structured specification of communicating systems", IEEE Trans. Computers C-32, 2(Febr. 1983), pp. 120–133.Google Scholar
  4. [Bochmann83b]
    G.v.Bochmann, R.L.Tenney, and C.A.Vissers, "Formal description techniques by ISO/TC97/SC16/WGl ad hoc group on FDT", IEEE Trans. COM, to be published.Google Scholar
  5. [Dickson83]
    G.J. Dickson, and P. de Chazal, "Application of the CCITT SDL to protocol specification", IEEE Trans. COM, to be published.Google Scholar
  6. [FDT83a]
    ISO TC97/SC16 N1347 (revised July 1983), "A FDT based on an extended state transition model".Google Scholar
  7. [FDT83b]
    CCITT SG VII, Draft Recommendation "Formal description techniques for data communications protocols and services", 1983.Google Scholar
  8. [Ledgard81]
    H. Ledgard, "Ada: An Introduction / Ada Reference Manual (July 1980)", Springer-Verlag, 1981Google Scholar
  9. [Liskov75]
    B. Liskov and S. Zilles, "Specification techniques for data abstractions", IEEE Trans. on Software Engineering 1, 1 (March 1975), pp. 7–18.Google Scholar
  10. [Rudin83]
    Proceedings of Third Workshop on "Protocol specification, Testing and verification" (IFIP/WG 6.1), H. Rudin and C.H. West, eds., North Holland, 1983.Google Scholar
  11. [Sunshine82]
    Proceedings of Second Workshop on "Protocol specification, Testing and verification" (IFIP/WG 6.1), C. Sunshine, ed., North Holland, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • G. v. Bochmann
    • 1
  1. 1.Faculté des arts et des sciences, Department d'informatique et de recherche operationelle (IRO)Université de MontrealMontrealCanada

Personalised recommendations