Practical Protocol Composition, Encapsulation and Sharing in Kompics | IEEE Conference Publication | IEEE Xplore