Benesh: a Framework for Choreographic Coordination of In Situ Workflows | IEEE Conference Publication | IEEE Xplore