Variations on a Theme: An Open Letter to C. A. R. Hoare
Part of the Texts and Monographs in Computer Science book series (MCS)
KeywordsAssignment Statement Monitor Activity Monitor State Single Resource Executable Code
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.
Unable to display preview. Download preview PDF.
- Bron, C., “Description of Conditional Critical Regions in Terms of P- and V-Operations.” Memorandum nr. 84, May 1975, Department of Applied Mathematics, Twente University of Technology, P.O. Box 217, Enschede, The Netherlands.Google Scholar
© Springer-Verlag New York Inc. 1982