Browse Research and Tech Reports - Computer Science by Subject "causal properties and models"

  • Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore (2011-10-14)
    This paper shows that it is possible to build a maximal and sound causal model for concurrent computations from a given execution trace. It is sound, in the sense that any program which can generate a trace can also ...

    application/pdf

    application/pdfPDF (590Kb)