Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
We present Linear Compositional Choreographies (LCC), a proof theory for reasoning about programs that modularly combine choreographies with processes. Using LCC, we logically reconstruct a semantics and a projection procedure for programs. For the first time, we also obtain a procedure for extracting choreographies from process terms.
|Book series||Lecture Notes in Computer Science|
|Number of pages||15|
|Publication status||Published - 2014|