Publications Login
Home List all
@article{DBLP:journals/jcss/SrokaHMG10,
	author          = {Jacek Sroka and Jan Hidders and Paolo Missier and Carole A. Goble},
	title           = {A formal semantics for the Taverna 2 workflow model},
	journal         = {J. Comput. Syst. Sci.},
	year            = {2010},
	volume          = {76},
	number          = {6},
	pages           = {490-508},
	url             = {http://www.st.ewi.tudelft.nl/~hidders/docs/TavernaTraceSemantics.pdf},
	topic           = {Web Engineering,domain-specific languages},
	group           = {WIS}
}