Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels

Kai Engelhardt, Yoram Moses

A semantic framework for analyzing safe composition of distributed programs is presented. Its applicability is illustrated by a study of program composition when communication is r…