grib2015.pdf112.81 KB

Causal trees represented by Darondeau and Degano are one of the truly concurrent model for distributed systems and processes. The model is more basic than other truly concurrent models because it defines concurrency and causality with respect to a branch, but on the other hand it is more expressive than...