Compositional Proofs For Networks Of Processes

this paper most relevant is a series of publications by Gries, Ovicki, Nguyen, Demers, Schneider, Widom, Panangaden (see the list of references). We refer to this series as to [GONDSWP], the favorite references being [WGS1] and [WGS2], where additional bibliographical information can be found. The important contribution of [GONDSWP] is that in addition to the compositionality paradigm promoted in [MC], they address systematically the crucial issue of completeness for the proposed proof rules. A comprehensive and critical analysis of [GONDSWP] is given in N. Soundararajan's re