David Kitchin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
| The Orc Programming Language Formal Techniques for Distributed Systems | 2009-06-26 | Paper |
| Simulation Using Orchestration Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| A timed semantics of Orc Theoretical Computer Science | 2008-08-06 | Paper |
| A Language for Task Orchestration and Its Semantic Properties CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Research outcomes over time
This page was built for person: David Kitchin
