Return to Article Details A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS Download Download PDF