Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Pfaltz, John L. License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-8978
URL:

Closure and Causality

pdf-format:


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.


BibTeX - Entry

@InProceedings{pfaltz:DagSemProc.06341.3,
  author =	{Pfaltz, John L.},
  title =	{{Closure and Causality}},
  booktitle =	{Computational Structures for Modelling Space, Time and Causality},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6341},
  editor =	{Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/897},
  URN =		{urn:nbn:de:0030-drops-8978},
  doi =		{10.4230/DagSemProc.06341.3},
  annote =	{Keywords: Closure, causality, antimatroid, temporal, software engineering}
}

Keywords: Closure, causality, antimatroid, temporal, software engineering
Seminar: 06341 - Computational Structures for Modelling Space, Time and Causality
Issue date: 2007
Date of publication: 26.02.2007


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI