Advertisement

Concurrency and Real-timein VDM++

  • S. J. Goldsack
  • S. J. H. Kent
Part of the Formal Approaches to Computing and Information Technology book series (FACIT)

Abstract

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.

Keywords

Active Object Mutual Exclusion Instance Variable Concurrent Execution Periodic Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1996

Authors and Affiliations

  • S. J. Goldsack
    • 1
  • S. J. H. Kent
    • 2
  1. 1.Department of Computing, Technology and MedicineImperial College of ScienceLondonUK
  2. 2.Department of ComputingUniversity of BrightonBrightonUK

Personalised recommendations