Concepedia
Computer Systems: Science & Engineering · 2002 · 11 citations · 0 references
Data ConsistencyEngineeringData ScienceAutomated ReasoningToken-based Sequential ConsistencyVerificationConcurrency TheoryFormal MethodsComputer ScienceConsistency TechnologyAsynchronous SystemsFormal Verification