Closure and Causality

Pfaltz, John L.

doi:10.4230/DagSemProc.06341.3

Document

Closure and Causality

Author John L. Pfaltz

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6341
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-02-26

PDF

File

PDF

DagSemProc.06341.3.pdf

Filesize: 197 kB
13 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06341.3
URN: urn:nbn:de:0030-drops-8978

Subject Classification

Keywords

Closure
causality
antimatroid
temporal
software engineering

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

John L. Pfaltz

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail