LCS Publication Details
Publication Title: MULTIVALUED POSSIBILITIES MAPPINGS
Publication Author: Lynch, Nancy
Additional Authors:
LCS Document Number: MIT-LCS-TM-422
Publication Date: 8-1-1990
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
Abstraction mappings are one of the major tools used to construct correctness proofs for concurrent algorithms. Several examples are given of situations in which it is useful to allow the abstraction mappings to be multivalued. The examples involve algorithm optimization, algorithm distribution, and proofs of time bounds.
To obtain this publication:

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