Skip to main content
SpringerLink
Log in
Book cover

International Symposium of VDM Europe

VDM 1987: VDM '87 VDM — A Formal Method at Work pp 324–330Cite as

Use of VDM within CCITT

  • Standardisation Issues
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 252))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Formal Definition of CHILL CCITT Manual ITU, Geneva 1981

    Google Scholar 

  2. P. Branquart, G. Louis, P. Wodon An Analytical Description of CHILL LNCS Vol. 128, 1982

    Google Scholar 

  3. CCITT High Level Language (CHILL) Recommendation Z.200 Red Book Fascicle VI.12 ITU, Geneva 1985

    Google Scholar 

  4. C.A.R. Hoare Communicating Sequential Processes CACM Vol. 21, No. 8, aug.1978

    Google Scholar 

  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. 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dansk Datamatik Center, Lundtoftevej 1C, DK-2800, Lyngby

    Peter Haff

  2. Telecom Research Lab, Borups Alle 43, DK-2200, Copenhagen N

    Anders Olsen

Authors
  1. Peter Haff
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anders Olsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haff, P., Olsen, A. (1987). Use of VDM within CCITT. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-17654-3_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17654-1

  • Online ISBN: 978-3-540-47740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation