Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
JS
J Sroka
Academic Work (5)
Conference paper (1)
Journal article (3)
Web publication (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
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)
,
A.J.H. 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)
