Atomic Transactions.¶
Lampson, B. W. (1979). Atomic Transactions. Distributed Systems.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Idempotence
- … execution semantics; the formal connection appears in early distributed-computing literature (Lamport 1979, Liskov, Birman) and is the basis of exactly-once-processing claims in modern stream processors (Kafka transactional producer, Flink checkpointing), as Helland (2007) and Lampson (1979) explicitly argue
This source(Atomic transactions and idempotent recovery operations; foundational for distributed system reliability.)
- … execution semantics; the formal connection appears in early distributed-computing literature (Lamport 1979, Liskov, Birman) and is the basis of exactly-once-processing claims in modern stream processors (Kafka transactional producer, Flink checkpointing), as Helland (2007) and Lampson (1979) explicitly argue
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:79376f4f73bb · see in the full table