Jacek Sroka Jan Hidders Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I. 279-299 2009 92 Fundam. Inform. 3 http://dx.doi.org/10.3233/FI-2009-0075 db/journals/fuin/fuin92.html#SrokaH09