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

  • Șerbănuță, Traian Florin; Chen, Feng; Roşu, 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/pdf

    application/pdfPDF (489Kb)