A formal semantics for the Taverna 2 workflow model

Jacek Sroka, Jan Hidders, Paolo Missier, Carole A. Goble. A formal semantics for the Taverna 2 workflow model. J. Comput. Syst. Sci., 76(6):490-508, 2010. [doi]

Abstract

Abstract is missing.