DisCComp - A Formal Model for Distributed Concurrent Components

Andreas Rausch. DisCComp - A Formal Model for Distributed Concurrent Components. Electronic Notes in Theoretical Computer Science, 176(2):5-23, 2007. [doi]

Abstract

Abstract is missing.