Back to papers
August 4, 2026cs.LGcs.DCcs.LOcs.SE
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers
HF Upvotes
1
Categories
cs.LG, cs.DC, cs.LO, cs.SE
1
cs.LG, cs.DC, cs.LO, cs.SE