Preview
Unable to display preview. Download preview PDF.
References
The Formal Definition of CHILL CCITT Manual ITU, Geneva 1981
P. Branquart, G. Louis, P. Wodon An Analytical Description of CHILL LNCS Vol. 128, 1982
CCITT High Level Language (CHILL) Recommendation Z.200 Red Book Fascicle VI.12 ITU, Geneva 1985
C.A.R. Hoare Communicating Sequential Processes CACM Vol. 21, No. 8, aug.1978
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
Author information
Authors and Affiliations
Editor information
Rights 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