Closure and Causality

Author John L. Pfaltz



PDF
Thumbnail PDF

File

DagSemProc.06341.3.pdf
  • Filesize: 197 kB
  • 13 pages

Document Identifiers

Author Details

John L. Pfaltz

Cite AsGet BibTex

John L. Pfaltz. Closure and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.06341.3

Abstract

We present a model of causality which is defined by the intersection of two distinct closure systems, ${cal I}$ and ${cal T}$. Next we present empirical evidence to demonstrate that this model has practical validity by examining computer trace data to reveal causal dependencies between individual code modules. From over 498,000 events in the transaction manager of an open source system we tease out 66 apparent causal dependencies. Finally, we explore how to mathematically model the transformation of a causal topology resulting from unforlding events.
Keywords
  • Closure
  • causality
  • antimatroid
  • temporal
  • software engineering

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads