David Kitchin

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Individual Objects

Top Venues

Publications

Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
OrcO: a concurrency-first approach to objects. OOPSLA (2016)
David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra
The Orc Programming Language. FMOODS/FORTE (2009)
David Kitchin, Evan Powell, Jayadev Misra
Simulation, Orchestration and Logical Clocks. FM (2008)
David Kitchin, Evan Powell, Jayadev Misra
Simulation Using Orchestration. AMAST (2008)
Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
A timed semantics of Orc. Theor. Comput. Sci. 402 (2-3) (2008)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
Event Structure Semantics of Orc. WS-FM (2007)
Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook
Safe composition of product lines. GPCE (2007)
David Kitchin, William R. Cook, Jayadev Misra
A Language for Task Orchestration and Its Semantic Properties. CONCUR (2006)