Concurrency and Real-timein VDM++
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.
KeywordsActive Object Mutual Exclusion Instance Variable Concurrent Execution Periodic Method
Unable to display preview. Download preview PDF.