Formal Definition of a simple on-line teleprocessor in VDL
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.
Unable to display preview. Download preview PDF.
- 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.Google Scholar