Abstract
This paper presents a definition in VDL (the Vienna Definition Language) of a simple message processing system using a polling algorithm. It illustrates an application of VDL in a new area and by defining extensions and changes to the original system demonstrates the flexibility of VDL as a formal definition tool.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Lucas, P., Lauer, P., and Stigleitner, H., "Method and Notation for the Formal Definition of Programming Languages", IBM Vienna Laboratory Technical Report TR 25.087, July 1970.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hay, G.G. (1974). Formal Definition of a simple on-line teleprocessor in VDL. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_131
Download citation
DOI: https://doi.org/10.1007/3-540-06859-7_131
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06859-4
Online ISBN: 978-3-540-37819-8
eBook Packages: Springer Book Archive