Publication | Closed Access

A lower bound for the time to assure interactive consistency

Data ConsistencyEngineeringAutomated ReasoningVerificationConcurrency TheoryFormal MethodsComputational ComplexityInteractive ConsistencyComputer ScienceConcurrent SystemTimed SystemConsistency TechnologyFormal Verification