132
click to vote
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...