Publication | Closed Access

A simple algorithmically reasoned characterization of wait-free computation (extended abstract)

Wait-free ComputationEngineeringProgram AnalysisAutomated ReasoningVerificationConcurrent ProgrammingFormal MethodsConcurrency TheoryComputational ComplexityComputer ScienceConcurrent SystemModel Of ComputationFormal Verification