DagSemProc.06341.3.pdf
- Filesize: 197 kB
- 13 pages
Document
Closure and Causality
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6341
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-02-26
Cite As Get 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.
Subject Classification
Keywords
- Closure
- causality
- antimatroid
- temporal
- software engineering
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads