Thomas Genssler, Welf Löwe. Correct Composition of Distributed Systems. In TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China. pages 296-305, IEEE Computer Society, 1999. [doi]
Abstract is missing.