Algebraic Specification of Concurrent Systems

S. Kaplan. Algebraic Specification of Concurrent Systems. Theoretical Computer Science, 69(1):69-115, 1989.

Abstract

Abstract is missing.