Correct composition of distributed systems

This paper argues that functional aspects of a distributed system are to be specified separately from its communication and synchronization aspects. A Petri-net based approach allows to reason about the compatibility of the aspect incarnations and the compatibility of connected components. Using meta-programming, the separate specifications are woven into efficient code.