Formal Modeling Of Middleware-based Distributed Systems

Arnab Ray, Rance Cleaveland. Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science, 108:21-37, 2004. [doi]

Abstract

Abstract is missing.