Specification-correct and Scalable Coordination of Scientific Applications in Grid Environments | IEEE Conference Publication | IEEE Xplore