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]

Authors

Kai Engelhardt

This author has not been identified. Look up 'Kai Engelhardt' in Google

Yoram Moses

This author has not been identified. Look up 'Yoram Moses' in Google