Causing communication closure: safe program composition with reliable non-FIFO channels

Kai Engelhardt, Yoram Moses. Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Computing, 22(2):73-91, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: