Scholar
Kevin Chalmers
Google Scholar ID: ZMP7odUAAAAJ
Ravensbourne University London
Concurrency
Software Engineering
Model Checking
Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
161
H-index
5
i10-index
3
Publications
20
Co-authors
0
Publications
2 items
Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
2025
Cited
0
Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
2025
Cited
0
