J Sroka | TU Delft Repository

Library

local_library Home Repository

JS

J Sroka

Conference paper (1)

Journal article (3)

Web publication (1)

5 records found

1

On generating *-sound nets with substitution

Web publication (2012) - J Sroka (author) , A.J.H. Hidders (author)

On generating *-sound nets with substitution

Conference paper (2011) - J Sroka (author) , P Chrzastowski-Wachtel (author) , Jan Hidders (author)

A formal semantics for the Taverna 2 workflow model

Journal article (2010) - J Sroka (author) , A.J.H. Hidders (author) , P Missier (author) , CA Goble (author)

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.

Journal article (2009) - J Sroka (author) , A.J.H. Hidders (author)

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.

Journal article (2009) - J Sroka (author) , A.J.H. Hidders (author)