Kitchin, David; Quark, Adrian; Misra, Jayadev Quicksort: combining concurrency, recursion, and mutable data structures. (English) Zbl 1217.68070 Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 229-254 (2010). MSC: 68P10 68P05 68W05 PDFBibTeX XMLCite \textit{D. Kitchin} et al., in: Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare's 75th birthday, Cambridge, UK, April 2009. London: Springer. 229--254 (2010; Zbl 1217.68070) Full Text: DOI
Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev The Orc programming language. (English) Zbl 1217.68049 Lee, David (ed.) et al., Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02137-4/pbk). Lecture Notes in Computer Science 5522, 1-25 (2009). MSC: 68N15 68N18 68N19 68Q85 PDFBibTeX XMLCite \textit{D. Kitchin} et al., Lect. Notes Comput. Sci. 5522, 1--25 (2009; Zbl 1217.68049) Full Text: DOI