Arshad, Junaid ORCID: https://orcid.org/0000-0003-0424-9498, Terstyanszky, Gabor, Kiss, Tamas, Weingarten, Noam and Taffoni, Giuliano (2016) A formal approach to support interoperability in scientific meta-workflows. Journal of Grid Computing, 14 (4). pp. 655-671. ISSN 1570-7873