JS

J Sroka

5 records found

Authored

On generating *-sound nets with substitution
Web publication (2012) - J Sroka, A.J.H. Hidders

On generating *-sound nets with substitution
Conference paper (2011) - J Sroka, P Chrzastowski-Wachtel, A.J.H. Hidders

A formal semantics for the Taverna 2 workflow model
Journal article (2010) - J Sroka, A.J.H. Hidders, P Missier, CA Goble

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.
Journal article (2009) - J Sroka, A.J.H. Hidders

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.
Journal article (2009) - J Sroka, A.J.H. Hidders