ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset · unknown
multiConcur<p dir="ltr">Artifacts for multiConcurrency paper</p>
ZivaHub2026 · dataset
Task-Preserving Operational Processes with Bounded Local Memory<p dir="ltr">Online reconstruction systems must decide which history to retain while their tasks and evidence requirements remain explicit. Agreement on a current value is generally insufficient for agreement after future operations, and retaining the possible states of each component separately can destroy correlations needed by a joint task. We formulate exact task preservation relative to a con