Use of VDM within CCITT

  • Peter Haff
  • Anders Olsen
Standardisation Issues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    The Formal Definition of CHILL CCITT Manual ITU, Geneva 1981Google Scholar
  2. [2]
    P. Branquart, G. Louis, P. Wodon An Analytical Description of CHILL LNCS Vol. 128, 1982Google Scholar
  3. [3]
    CCITT High Level Language (CHILL) Recommendation Z.200 Red Book Fascicle VI.12 ITU, Geneva 1985Google Scholar
  4. [4]
    C.A.R. Hoare Communicating Sequential Processes CACM Vol. 21, No. 8, aug.1978Google Scholar
  5. [5]
    P. Folkjær and D. Bjørner A formal model of a Generalised CSP-like Language, in: IFIP 8th Wold Computer Conference Proceedings, North-Holland Publ. 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Peter Haff
    • 1
  • Anders Olsen
    • 2
  1. 1.Dansk Datamatik CenterLyngby
  2. 2.Telecom Research LabCopenhagen N

Personalised recommendations