Browse Research and Tech Reports - Computer Science by Subject "causality"

  • Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore (2010-09-22)
    This paper shows that it is possible to build a theoretically maximal and sound causal model for concurrent computations from a given execution trace. For an observed execution, the proposed model comprises all consistent ...


    application/pdfPDF (489Kb)