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/pdf

    application/pdfPDF (489Kb)