Concurrent Access Control is a security mechanism that regulates simultaneous access to shared resources by multiple processes or threads, ensuring data integrity and preventing race condition vulnerabilities through synchronization policies.
127
Publications
6.1K
Citations
342
Authors
135
Institutions
Publications per year
2017–2026
19
Publications
127
Permission accounting in separation logic
Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 370 citations
Removing unnecessary synchronization in Java
Jeff Bogda, Urs Hölzle · 1999 · 211 citations
Split-Transactions for Open-Ended Activities
Calton Pu, Gail E. Kaiser, Norman C. Hutchinson · 1988 · 194 citations · Full text
1–5 of 127
Authors
342
- AS
4
h-index
- MT
4
h-index
- TE
4
h-index
- AJ
3
h-index
- MP
2
h-index
1–5 of 342
Institutions
135
University of Minnesota
Minneapolis, United States
5 h-index
11 publications
480 citations
Stony Brook University
Stony Brook, United States
4 h-index
13 publications
919 citations
Rissho University
Tokyo, Japan
4 h-index
5 publications
129 citations
Stanford University
Stanford, United States
3 h-index
6 publications
176 citations
University of Cambridge
Cambridge, United Kingdom
3 h-index
3 publications
494 citations
George Mason University
Fairfax, United States
3 h-index
9 publications
786 citations
Microsoft (United States)
Redmond, United States
3 h-index
6 publications
203 citations
Brown University
Providence, United States
3 h-index
3 publications
93 citations
1–8 of 135
Venues
- IEEE Transactions on Software Engineering
TSE · 4 publications · 158 citations
4
h-index
- ACM SIGPLAN Notices
4 publications · 152 citations
4
h-index
- Psychopharmacology
3 publications · 118 citations
3
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 42 citations
2
h-index
- IEEE Transactions on Communications
2 publications · 239 citations
2
h-index
1–5