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

Author: Engelhardt Kai  

Publisher: Springer Publishing Company

ISSN: 0178-2770

Source: Distributed Computing, Vol.22, Iss.2, 2009-10, pp. : 73-91

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract