LCS Publication Details
Publication Title: A SEMANTICS OF SYNCHRONIZATION
Publication Author: Seaquist, Carl, R.
Additional Authors:
LCS Document Number: MIT-LCS-TM-176
Publication Date: 9-1-1980
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
This paper presents a rigorous framework in which to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of the synchronization mechanism which avoids certain unfortunate characteristics of monitors and serializers.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.