Publication | Closed Access
Deadlock checking by a behavioral effect system for lock handling
10
Citations
22
References
2011
Year
Hardware SecurityEngineeringDeadlock CheckingVerificationConcurrent ProgrammingComputer EngineeringFormal MethodsConcurrency TheoryConcurrency (Computer Science)Concurrency ControlComputer ScienceConcurrent SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1