Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems

Laura K. Dillon, George S. Avrunin, Jack C. Wileden. Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. ACM Transactions on Programming Languages and Systems, 10(3):374-402, 1988. [doi]

Abstract

Abstract is missing.