| 2008 |
|---|
| 6 | EE | David Kitchin,
Evan Powell,
Jayadev Misra:
Simulation Using Orchestration.
AMAST 2008: 2-15 |
| 5 | EE | David Kitchin,
Evan Powell,
Jayadev Misra:
Simulation, Orchestration and Logical Clocks.
FM 2008: 34 |
| 4 | EE | Ian Wehrman,
David Kitchin,
William R. Cook,
Jayadev Misra:
A timed semantics of Orc.
Theor. Comput. Sci. 402(2-3): 234-248 (2008) |
| 2007 |
|---|
| 3 | EE | Sahil Thaker,
Don S. Batory,
David Kitchin,
William R. Cook:
Safe composition of product lines.
GPCE 2007: 95-104 |
| 2 | EE | Sidney Rosario,
David Kitchin,
Albert Benveniste,
William R. Cook,
Stefan Haar,
Claude Jard:
Event Structure Semantics of Orc.
WS-FM 2007: 154-168 |
| 2006 |
|---|
| 1 | EE | David Kitchin,
William R. Cook,
Jayadev Misra:
A Language for Task Orchestration and Its Semantic Properties.
CONCUR 2006: 477-491 |
