Publication | Closed Access

Accommodating interference in the formal design of concurrent object-based programs

EngineeringProgram AnalysisDesignConcurrent ProgrammingFormal MethodsSoftware AnalysisSoftware EngineeringFormal DesignConcurrency TheoryConcurrency (Computer Science)Computer ScienceConcurrent Data StructureConcurrent SystemFormal VerificationSystem SoftwareSoftware Design