Deductive synthesis of workflows for e-Science

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon. Deductive synthesis of workflows for e-Science. In 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK. pages 168-175, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.