Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
Nicholas Coughlin, Kirsten Winter, Graeme Smith
Topics & Concepts
Computer scienceThread (computing)x86Memory modelDataflowProgramming languagePrinciple of compositionalityParallel computingShared memoryTheoretical computer scienceArtificial intelligenceSoftwareDistributed systems and fault toleranceParallel Computing and Optimization TechniquesSecurity and Verification in Computing