Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers | Paper Citation Record

Observation 0b1b41ba-c2ba-4335-a56e-0402ab497ea2 · outbound

This paper cites Checkpointing,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Checkpointing,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.817687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 068d3ead-327a-4e44-8db3-ac67ce118c4d · outbound

This paper cites Workflows API reference: Context,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Workflows API reference: Context,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.824662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b758a9bc-e7f4-4299-8be8-41cf83d2bbfd · outbound

This paper cites Verus: Verifying Rust programs using linear ghost types,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Verus: Verifying Rust programs using linear ghost types,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.832185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d22c5ebc-9d00-46b5-9145-435c862ee3bd · outbound

This paper cites Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.837906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8e7be3d-48de-4329-9ab7-631c67a50d4d · outbound

This paper cites DART: Semantic Recoverability for Structured Tool Agents.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers DART: Semantic Recoverability for Structured Tool Agents

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.843980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4142890-017e-4924-bfbc-f0a4f88f692e · outbound

This paper cites What You Approve Is What Executes: Consent Integrity for Black-Box LLM Agents.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers What You Approve Is What Executes: Consent Integrity for Black-Box LLM Agents

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.849470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcd52ed7-e250-4091-8e6e-e494cae08318 · outbound

This paper cites LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.855634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c137656-4f95-41cb-b5a1-53ef4c53718a · outbound

This paper cites LangGraph persistence and interrupts,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers LangGraph persistence and interrupts,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.860978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59477046-b955-4205-9bb1-143d51829877 · outbound

This paper cites Agent workflows: Human in the loop,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Agent workflows: Human in the loop,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.866507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c00a0fe1-e988-4183-9ae2-11e4a46ef2b1 · outbound

This paper cites State management in Apache Flink: Consistent stateful distributed stream processing,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers State management in Apache Flink: Consistent stateful distributed stream processing,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.871755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea8c991c-bca2-47d8-9afa-f9cefa65dd30 · outbound

This paper cites Life beyond distributed transactions: An apostate’s opinion,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Life beyond distributed transactions: An apostate’s opinion,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.877239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1cc50ce-c2b6-4389-92db-43b889bf930c · outbound

This paper cites Idempotence is not a medical condition,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Idempotence is not a medical condition,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.882535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5bdd252-c4c2-42ea-bdf7-aa476cb67860 · outbound

This paper cites Durable functions: Semantics for stateful serverless,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Durable functions: Semantics for stateful serverless,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.887922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c19b9b9-6b21-418b-a72d-0b5d6c5eb9d1 · outbound

This paper cites Akka Persistence: Event sourcing for stateful actors,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Akka Persistence: Event sourcing for stateful actors,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.893408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d1cf831-0429-43a1-9a9d-1f9bc163939e · outbound

This paper cites A survey of rollback-recovery protocols in message-passing systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers A survey of rollback-recovery protocols in message-passing systems,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.898882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 639ada3c-33a9-486a-8ead-6c0726b038cf · outbound

This paper cites Issue #2315: LangGraph interrupt fails due to extra null-state turn between trigger and resume,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Issue #2315: LangGraph interrupt fails due to extra null-state turn between trigger and resume,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.904268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d834cbf-111f-42ee-bbe7-fc4fb83d07bb · outbound

This paper cites Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.909332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4816d694-c997-49cf-b790-0074eb98e34f · outbound

This paper cites Agents SDK: Sessions,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Agents SDK: Sessions,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.914879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65426977-e612-42df-9e2d-983e48cb337d · outbound

This paper cites A critique of ANSI SQL isolation levels,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers A critique of ANSI SQL isolation levels,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.920144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3d491b7-f2e0-4b93-9c1e-d3be0b320c39 · outbound

This paper cites Anvil: Verifying liveness of cluster management controllers,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Anvil: Verifying liveness of cluster management controllers,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.925462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 041c9af1-fba8-41a3-ab23-d5c426d00a26 · outbound

This paper cites ACRFence: Preventing semantic rollback attacks in agent checkpoint-restore,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers ACRFence: Preventing semantic rollback attacks in agent checkpoint-restore,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.930822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68b7cab3-e765-4404-99e5-ce9f66c8a17e · outbound

This paper cites Where Agent Frameworks Fall Short: Examining Functional Challenges and Usability Concerns.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Where Agent Frameworks Fall Short: Examining Functional Challenges and Usability Concerns

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.936637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fb9f264-238e-4546-8348-966f73c17619 · outbound

This paper cites AgentBench: Evaluating LLMs as agents,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers AgentBench: Evaluating LLMs as agents,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.942423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87724f33-9239-47d8-bccc-dc89e48214e8 · outbound

This paper cites AgentRFC: Security design principles and conformance testing for agent protocols,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers AgentRFC: Security design principles and conformance testing for agent protocols,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.948076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6011518-889c-426b-abf2-3e43b57fb64e · outbound

This paper cites ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.953275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c510b9b-df45-4471-9f57-a28f40b063e9 · outbound

This paper cites VeriGuard: Enhancing LLM agent safety via verified code generation,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers VeriGuard: Enhancing LLM agent safety via verified code generation,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.958676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a598d28b-4aeb-40fc-afba-79778f2fc2e3 · outbound

This paper cites Why Do Multi-Agent LLM Systems Fail?.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Why Do Multi-Agent LLM Systems Fail?

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.963986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85f11d5b-582d-4b81-b309-8b06b3c72e97 · outbound

This paper cites SagaLLM: Context Management, Validation, and Transaction Guarantees for Multi-Agent LLM Planning.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers SagaLLM: Context Management, Validation, and Transaction Guarantees for Multi-Agent LLM Planning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.969495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 497f5c73-8725-4cff-85b2-2c3cb656b77c · outbound

This paper cites Orleans: Distributed virtual actors for programmability and scalability,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Orleans: Distributed virtual actors for programmability and scalability,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.976066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 330f280f-5ac3-456c-a66d-01e1bf6cfb81 · outbound

This paper cites Armstrong,Making Reliable Distributed Systems in the Presence of Software Errors.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Armstrong,Making Reliable Distributed Systems in the Presence of Software Errors

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.981043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afed0a64-9cd5-46e0-839e-cdfa96fb07c1 · outbound

This paper cites Distributed programming in Argus,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Distributed programming in Argus,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.986166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53f90151-c3ea-4a3c-bfef-82c4de3558d1 · outbound

This paper cites Orthogonally persistent object systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Orthogonally persistent object systems,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.991462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf04b56f-54ac-4c4c-9fde-da452a463ca6 · outbound

This paper cites Linearizability: A correctness condition for concurrent objects,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Linearizability: A correctness condition for concurrent objects,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:14.997479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e73977bf-3d64-48ab-9b3b-9a37a425efa1 · outbound

This paper cites Workflow determinism and versioning,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Workflow determinism and versioning,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.004084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 959013f4-640b-4e9a-ab57-e68ef8a670d8 · outbound

This paper cites DBOS: A DBMS-oriented operating system,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers DBOS: A DBMS-oriented operating system,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.010365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37ccb1d5-4ce4-4e83-a74e-c93a682dd096 · outbound

This paper cites AWS Step Functions developer guide,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers AWS Step Functions developer guide,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.016108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61c1a87a-995f-4a6f-96d7-7f6f44b04e20 · outbound

This paper cites Realizing the fault-tolerance promise of cloud storage using locks with intent,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Realizing the fault-tolerance promise of cloud storage using locks with intent,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.022276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce0bae53-a40c-4255-96de-937f844915c8 · outbound

This paper cites Automated verification of idempotence for stateful serverless applications,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Automated verification of idempotence for stateful serverless applications,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.028040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cf933bf-79b1-4cbf-9674-b50cac37cd86 · outbound

This paper cites Fault- tolerant and transactional stateful serverless workflows,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Fault- tolerant and transactional stateful serverless workflows,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.033384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0896d92-8b0e-48df-88fd-ee9b38c40e71 · outbound

This paper cites Netherite: Efficient execution of serverless workflows,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Netherite: Efficient execution of serverless workflows,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.038948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3f8d194-006c-42e0-8da7-5d07c1e8403a · outbound

This paper cites Boki: Stateful serverless computing with shared logs,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Boki: Stateful serverless computing with shared logs,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.045017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbacf3d1-8377-4c53-921d-bf3b3095351c · outbound

This paper cites Halfmoon: Log-optimal fault-tolerant stateful serverless computing,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Halfmoon: Log-optimal fault-tolerant stateful serverless computing,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.052065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0c2172-486c-4733-8665-bdf30a1d4022 · outbound

This paper cites A.M.B.R.O.S.I.A: Providing performant virtual resiliency for distributed applications,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers A.M.B.R.O.S.I.A: Providing performant virtual resiliency for distributed applications,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.057652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d048ee8-be1b-4349-a44e-8ccebcad73e1 · outbound

This paper cites Durable execution and durable promises,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Durable execution and durable promises,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.062715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c68c0e4-7900-4ac2-b1b6-d2c3f8c3ec0f · outbound

This paper cites IronFleet: Proving practical distributed systems correct,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers IronFleet: Proving practical distributed systems correct,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.068425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de392e76-72e9-40ec-b256-c87626fd95e2 · outbound

This paper cites Verdi: A framework for implementing and formally verifying distributed systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Verdi: A framework for implementing and formally verifying distributed systems,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.073710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ad49983-712e-46b4-b6a8-8fdb2a7c72da · outbound

This paper cites Verify- ing concurrent, crash-safe systems with Perennial,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Verify- ing concurrent, crash-safe systems with Perennial,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.078906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3572d72f-1aac-4779-9580-907173736854 · outbound

This paper cites Using Crash Hoare Logic for certifying the FSCQ file system,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Using Crash Hoare Logic for certifying the FSCQ file system,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.084415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4af563f0-4918-45ce-83f7-e99f8c752f6b · outbound

This paper cites GoJournal: A verified, concurrent, crash-safe journaling system,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers GoJournal: A verified, concurrent, crash-safe journaling system,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.089677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 473d0427-061a-482b-82c8-ceef0c2acf81 · outbound

This paper cites Viewstamped replication: A new primary copy method to support highly-available distributed systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Viewstamped replication: A new primary copy method to support highly-available distributed systems,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.095732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f096f173-9815-4ca0-942c-24b7b8f06770 · outbound

This paper cites In search of an understandable consensus algorithm,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers In search of an understandable consensus algorithm,

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.101989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39bcc14c-a982-448d-aeb4-c1b38e9cb91c · outbound

This paper cites Engineering record and replay for deployability,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Engineering record and replay for deployability,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.107585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa80025f-6aad-4b15-af7a-4327c66ff640 · outbound

This paper cites DMTCP: Transparent checkpointing for cluster computations and the desktop,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers DMTCP: Transparent checkpointing for cluster computations and the desktop,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.113622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51cdbe57-f28e-4530-b17d-aae0158aca85 · outbound

This paper cites Berkeley Lab Checkpoint/Restart (BLCR) for Linux clusters,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Berkeley Lab Checkpoint/Restart (BLCR) for Linux clusters,

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.119275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0320686d-2f7b-424b-86eb-7a2615d31628 · outbound

This paper cites Design, modeling, and evaluation of a scalable multi-level check- pointing system,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Design, modeling, and evaluation of a scalable multi-level check- pointing system,

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.124918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7678a47d-6cd9-47f0-a069-b50b35cbc855 · outbound

This paper cites VeloC: Towards high performance adaptive asynchronous checkpointing at large scale,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers VeloC: Towards high performance adaptive asynchronous checkpointing at large scale,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.130870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1924f1f-54d5-411b-b52c-d037d65c4512 · outbound

This paper cites Applying ‘design by contract’,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Applying ‘design by contract’,

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.136702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2136ae1b-e64d-44cf-9833-92d50b1e4151 · outbound

This paper cites Interface automata,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Interface automata,

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.141953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf22c97b-1898-45a7-a0d1-739fa42d406c · outbound

This paper cites Multiparty asynchronous session types,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Multiparty asynchronous session types,

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.148243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8354fafd-09e7-4154-b99c-4a302ca362ad · outbound

This paper cites Alloy: A lightweight object modelling notation,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Alloy: A lightweight object modelling notation,

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.153545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 884ffa7c-0dc7-4a4d-bbb1-29b9185ac02c · outbound

This paper cites The ConTract model,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers The ConTract model,

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.158848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b713a887-3e09-4612-bd3b-59315d2f0a48 · outbound

This paper cites Workflow recovery,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Workflow recovery,

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.164014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09545afd-77c1-4201-aed7-6f76b140963e · outbound

This paper cites Workflow patterns,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Workflow patterns,

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.169821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4be5b4e4-5b84-4f50-a12d-b876710805d1 · outbound

This paper cites Workflow exception patterns,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Workflow exception patterns,

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.175109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17989c0b-d5e4-4d0d-b0d6-2c52b3b4fdf6 · outbound

This paper cites Garcia-Molina and K.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Garcia-Molina and K

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.180355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d8a0aac-1ce8-4e43-a342-af25563ac835 · outbound

This paper cites The application of Petri nets to workflow management,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers The application of Petri nets to workflow management,

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.185481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 304c87e7-27c5-4008-968b-32adef5fd22e · outbound

This paper cites Semantics and analysis of business process models in BPMN,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Semantics and analysis of business process models in BPMN,

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.191018Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57299dbe-e656-4a5c-a474-82e431cb5793 · outbound

This paper cites Atomic distributed transactions: A RESTful design,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Atomic distributed transactions: A RESTful design,

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.196045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a61f0e1f-e66e-495f-85b1-7c52e7400991 · outbound

This paper cites Fault tolerance via idempotence,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Fault tolerance via idempotence,

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.201022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98deef97-2a69-487b-9e5e-a14934055256 · outbound

This paper cites Implementing remote procedure calls,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Implementing remote procedure calls,

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.205935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e3e2599-cf2a-45c9-970a-58333de6909e · outbound

This paper cites Implementing linearizability at large scale and low latency,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Implementing linearizability at large scale and low latency,

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.211195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08b09e38-9c0b-4f70-8908-8b6efe48fece · outbound

This paper cites The theory and practice of first-class prompts,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers The theory and practice of first-class prompts,

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.216111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 873ca2be-a645-4922-be9f-972d6f91b2cb · outbound

This paper cites Abstracting control,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Abstracting control,

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.221452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb9c46c0-77cf-4a49-a7f6-0bf94a71cc67 · outbound

This paper cites Handlers of algebraic effects,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Handlers of algebraic effects,

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.226823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad179ea2-7d5f-41e9-893a-b7eba3938a55 · outbound

This paper cites The influence of browsers on evaluators or, contin- uations to program web servers,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers The influence of browsers on evaluators or, contin- uations to program web servers,

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.232448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dccb2b2-2407-403c-8689-125425dafb43 · outbound

This paper cites Ray: A distributed framework for emerging AI applications,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Ray: A distributed framework for emerging AI applications,

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:23:16.169723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2be55dac-c838-4775-be43-ff1f5d2f14af · outbound

This paper cites Apache Airflow: tasks and retries,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Apache Airflow: tasks and retries,

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.243463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81fbdd48-e52a-4014-8cbf-c88d9e4dfd5a · outbound

This paper cites Prefect: task caching and retries,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Prefect: task caching and retries,

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.248868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d6637ac-8cbd-4544-b983-178700687525 · outbound

This paper cites Consistency and completeness: Rethinking dis- tributed stream processing in Apache Kafka,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Consistency and completeness: Rethinking dis- tributed stream processing in Apache Kafka,

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.253858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03563c7b-87ee-4d94-9a9e-457257a730a3 · outbound

This paper cites Crash-only software,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Crash-only software,

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.259174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c257b62-53e7-4b4d-9cad-a25e4b24c42e · outbound

This paper cites Distributed snapshots: Determin- ing global states of distributed systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Distributed snapshots: Determin- ing global states of distributed systems,

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.264772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bdff578-526f-431d-9771-37331a0c4bb0 · outbound

This paper cites MillWheel: Fault-tolerant stream processing at internet scale,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers MillWheel: Fault-tolerant stream processing at internet scale,

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.270062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0819696-0496-4dd7-815e-76a4316987f9 · outbound

This paper cites ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging,

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T04:23:16.057492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fbf0900b-271b-4e1e-a173-0e21c25a41ab · outbound

This paper cites All file systems are not created equal: On the complexity of crafting crash-consistent applications,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers All file systems are not created equal: On the complexity of crafting crash-consistent applications,

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.280603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec802553-1c1c-42bc-8324-0b78f87539ff · outbound

This paper cites Finding crash-consistency bugs with bounded black-box crash testing,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Finding crash-consistency bugs with bounded black-box crash testing,

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.286172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f4cde9a-6fe2-43dc-a6a5-7206c7fa8e27 · outbound

This paper cites Jepsen: Distributed systems safety research,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Jepsen: Distributed systems safety research,

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.291919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc2a600c-7979-497d-a4a0-1c0072e98928 · outbound

This paper cites Model based testing with labelled transition systems,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Model based testing with labelled transition systems,

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.297369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9218430e-c2c6-4f4f-ab07-24b5ecb72aa7 · outbound

This paper cites How Amazon Web Services uses formal methods,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers How Amazon Web Services uses formal methods,

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.302722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc9d313a-393e-4780-b9b6-f440690cba2f · outbound

This paper cites Lamport,Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Lamport,Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.309580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1aa2670-8df1-4037-b84c-7565af8877b4 · outbound

This paper cites Using model checking to generate tests from specifications,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Using model checking to generate tests from specifications,

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.316490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1ea9034-68a3-4e14-8223-19e64c11c57d · outbound

This paper cites Lineage-driven fault injection,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Lineage-driven fault injection,

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.321895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07309a44-8cdb-47b9-813b-25ea28bc9f1d · outbound

This paper cites Unenforced ordering between put_writes and put in synchronous durability,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Unenforced ordering between put_writes and put in synchronous durability,

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.327381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b66d132-0bfc-49c6-bb22-6d62d035be3a · outbound

This paper cites Generalized isolation level definitions,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Generalized isolation level definitions,

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.332882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8323704-bff8-48c3-88b8-a25371902b65 · outbound

This paper cites Elle: Inferring isolation anomalies from experimental observations,.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Elle: Inferring isolation anomalies from experimental observations,

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.338311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ece43ca9-c717-44d6-8b2d-1a5c0b492e36 · outbound

This paper cites Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.344030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb94d742-135f-4154-97e2-01419d0622fe · outbound

This paper cites Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.350281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers