Coordination Protocols
Coordination Protocols is a formal method in distributed systems that specifies the rules and procedures governing the interactions among autonomous processes to achieve consistent global states while resolving conflicts and ensuring progress in the presence of concurrency and partial failures.
170
Publications
12.2K
Citations
381
Authors
182
Institutions
Publications per year
2017–2026
14
170
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern, Yoram Moses · Journal of the ACM · 1990 · 963 citations · Full text
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern, Yoram Moses · 1984 · 287 citations · Full text
1–5 of 170
381
Institut de Recherche en Informatique et Systèmes Aléatoires, France
6 publications · 162 citations
6
h-index
6
h-index
4
h-index
4
h-index
4
h-index
1–5 of 381
182
Institut de Recherche en Informatique et Systèmes Aléatoires
Rennes, France
6 h-index
15 publications
256 citations
North Carolina State University
Raleigh, United States
6 h-index
11 publications
1K citations
École Polytechnique Fédérale de Lausanne
Lausanne, Switzerland
5 h-index
16 publications
663 citations
Centrum Wiskunde & Informatica
Amsterdam, The Netherlands
5 h-index
9 publications
171 citations
University of Pennsylvania
Philadelphia, United States
5 h-index
15 publications
1.2K citations

University of Bologna
Bologna, Italy
4 h-index
11 publications
165 citations

Rissho University
Tokyo, Japan
4 h-index
4 publications
83 citations
The University of Texas at Austin
Austin, United States
4 h-index
4 publications
332 citations
1–8 of 182
5 publications · 3.9K citations
5
h-index
4 publications · 99 citations
4
h-index
TSE · 3 publications · 192 citations
3
h-index
AAI · 2 publications · 34 citations
2
h-index
2 publications · 827 citations
2
h-index
1–5