A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Causal Trees are a variant of Milner's Synchronization Trees which aims at reconciling two antagonistic views of semantics for concurrent systems: the interleaving models and the truly concurrent ones. The original model of Causal Trees provides us with an interleaving description of a concurrent system which faithfully expresses causaiity by enriching the action labels of a synchronization tree. These enriched labels supply indication of the observable causes of observable actions. In thisdoi:10.1080/00207169908804799 fatcat:r3t2uei53vaonge6tdvxmsqkoy