Component-Based Specification of Distributed Systems

Grant Malcolm. Component-Based Specification of Distributed Systems. Electronic Notes in Theoretical Computer Science, 160:211-224, 2006. [doi]

Abstract

Abstract is missing.