Reasoning about causality between distributed nonatomic events

DOI10.1016/S0004-3702(97)00004-0MaRDI QIDQ1402743zbMATH OpenFDO

Authors Ajay D. Kshemkalyani

Publication date 28 August 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(97)00004-0

zbMATH Keywords

CausalityDistributed systemIntervalTemporal and spatial reasoningTime

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1759722
• scientific article; zbMATH DE number 4049120
• Probabilistic Causality
• A causal approach to nonmonotonic reasoning
• Formal Reasoning About Causality Analysis
• Probabilistic causation in branching time

Cites work

• Complexity and algorithms for reasoning about time
• Efficient algorithms for qualitative reasoning about time
• Maintaining knowledge about temporal intervals
• Modeling concurrency with partial orders
• On interprocess communication. I: Basic formalism
• Reasoning about partially ordered events
• Reasoning about temporal relations
• Some considerations on nonlinear time intervals
• Temporal interactions of intervals in distributed systems.
• Temporal reasoning based on semi-intervals
• Temporal reasoning: A relativistic model
• Temporally distributed symptoms in technical diagnosis
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(8)

• Redundancy removal in multicast protocols
• scientific article; zbMATH DE number 4049120 (Why is no real title available?)
• scientific article; zbMATH DE number 1844511 (Why is no real title available?)
• Orthogonal relations for reasoning about posets
• Read-write causality
• Causality and atomicity in distributed computations
• Worlds of events: deduction with partial knowledge about causality
• Detecting causality in the presence of Byzantine processes: the case of synchronous systems

This page was built for publication: Reasoning about causality between distributed nonatomic events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402743)