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).

Download orc team