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]

Authors

Arnab Ray

This author has not been identified. Look up 'Arnab Ray' in Google

Rance Cleaveland

This author has not been identified. Look up 'Rance Cleaveland' in Google