The distributed operation language for specifying multi-system applications | IEEE Conference Publication | IEEE Xplore