Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems

George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle. Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Trans. Software Eng., 12(2):278-292, 1986.

Abstract

Abstract is missing.