Concurrency and Real-timein VDM++
Part of the Formal Approaches to Computing and Information Technology book series (FACIT)
This chapter discusses problems arising from the requirements of concurrency in Object Oriented systems, and with particular reference to the solutions adopted in the VDM++ specification language1.
KeywordsDine Prefix Dispatch IDin
Unable to display preview. Download preview PDF.
© Springer-Verlag London Limited 1996