A Language for Task Orchestration and its Semantic Properties ( 2up)ĭavid Kitchin, William R.Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, and Claude JardĤth International Workshop on Web Services and Formal Methods (WS-FM 2007) Event Structure Semantics of Orc DOI BibTeX.University of Texas at Austin, Department of Computer Science, 2007, Report# TR-07-65 Properties of the Timed Operational and Denotational Semantics of Orc BibTeX.Theoretical Computer Science, August 2008 dissertation, The University of Texas at Austin, August 2013 A Denotational Semantic Theory of Concurrent Systems (DRAFT).Journal of Software and Systems Modeling, March 2007 Computation Orchestration: A Basis for Wide-Area Computing DOI BibTeX.Proceedings of Software-Intensive Systems, Springer, LNCS 5380, pp. Structured Interacting Computations (A position paper) DOI BibTeX.Hoare", a Festschrift in honor of his 75th birthday, Springer, 2010. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures DOI BibTeXĭavid Kitchin, Adrian Quark, and Jayadev Misra.
Proceedings of FMOODS/FORTE, Springer, LNCS 5522, pp. The Orc Programming Language DOI BibTeXĭavid Kitchin, Adrian Quark, William Cook, and Jayadev Misra.From the broader Orc community (i.e., not the Orc team at UT Austin).
0 kommentar(er)
