A language for specifying the composition of reliable distributed applications | IEEE Conference Publication | IEEE Xplore