<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <title>causal reasoning</title>
    <link rel="self" type="application/atom+xml" href="https://links.blue42.net/guest/tags/1446/feed"/>
    <updated>2026-05-19T10:32:28+00:00</updated>
    <id>https://links.blue42.net/guest/tags/1446/feed</id>
            <entry>
            <id>https://links.blue42.net/links/1596</id>
            <title type="text"><![CDATA[[2307.10484] Inductive diagrams for causal reasoning]]></title>
            <link rel="alternate" href="https://ar5iv.labs.arxiv.org/html/2307.10484" />
            <link rel="via" type="application/atom+xml" href="https://links.blue42.net/links/1596"/>
            <author>
                <name> <![CDATA[Luke]]></name>
            </author>
            <summary type="text">
                <![CDATA[The Lamport diagram is a pervasive and intuitive tool for informal reasoning about causality in a concurrent system.
However, traditional axiomatic formalizations of Lamport diagrams can be painful to work with in a me…]]>
            </summary>
            <updated>2024-06-18T15:47:06+00:00</updated>
        </entry>
    </feed>
