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]

Abstract

Abstract is missing.