Deadlock is a synchronization state in concurrent systems wherein a set of processes is permanently blocked due to each holding a resource and waiting to acquire another resource held by another process in the set, preventing all from proceeding.
1.2K
Publications
59K
Citations
2.2K
Authors
808
Institutions
Publications per year
2017–2026
199
Publications
1.2K
Presidentialism, Multipartism, and Democracy
Scott Mainwaring · Comparative Political Studies · 1993 · 922 citations
Formal verification of parallel programs
Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text
1–5 of 1.2K
Authors
2.2K
- MZ
39
h-index
- ZL
28
h-index
- KX
23
h-index
- NW
20
h-index
- JD
18
h-index
1–5 of 2.2K
Institutions
808
New Jersey Institute of Technology
Newark, United States
41 h-index
86 publications
6K citations
Xidian University
Xi'an, China
37 h-index
165 publications
8.4K citations
Xi'an Jiaotong University
Xi'an, China
26 h-index
90 publications
5.1K citations
Tongji University
Shanghai, China
21 h-index
32 publications
1.9K citations
University of Southern California
Los Angeles, United States
20 h-index
45 publications
2.2K citations
Georgia Institute of Technology
Atlanta, United States
20 h-index
55 publications
1.7K citations
Macau University of Science and Technology
Macao, Macao
19 h-index
33 publications
1.4K citations
King Saud University
Riyadh, Saudi Arabia
17 h-index
42 publications
1.5K citations
1–8 of 808
Venues
- IEEE Transactions on Systems Man and Cybernetics Systems
27 publications · 1.1K citations
23
h-index
- IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans
25 publications · 3K citations
23
h-index
- International Journal of Production Research
30 publications · 1.7K citations
22
h-index
- IEEE Transactions on Parallel and Distributed Systems
TPDS · 28 publications · 1.3K citations
20
h-index
- IEEE Transactions on Software Engineering
TSE · 29 publications · 1.5K citations
20
h-index
1–5