Publication | Closed Access

Deadlock checking by a behavioral effect system for lock handling

Hardware SecurityEngineeringDeadlock CheckingVerificationConcurrent ProgrammingComputer EngineeringFormal MethodsConcurrency TheoryConcurrency (Computer Science)Concurrency ControlComputer ScienceConcurrent SystemFormal Verification