Synchronization Semantics

Synchronization Semantics is a formal framework that specifies the memory behavior of synchronization operations by defining the ordering constraints and visibility guarantees they impose on memory accesses in a concurrent system.

466

Publications

23.3K

Citations

856

Authors

311

Institutions

Publications per year

2017–2026

Parents

Memory ConsistencyTiming Semantics

Publications

466

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Computing, Computer Science, Computer Systems +15

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

Computing, Computer Engineering, Computer Science +15

The Java memory model

Jeremy Manson, William Pugh, Sarita V. Adve · 2005 · 732 citations · Full text

Computing, Computer Engineering, Computer Science +17

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

Computing, Computer Science, Computer Systems +14

1–5 of 466

Authors

856

JR
John Reppy
University of Chicago, United States
7 publications · 282 citations
7
h-index
AB
Andrew Birrell
Microsoft Research (India), India
6 publications · 307 citations
6
h-index
EY
Eran Yahav
Technion – Israel Institute of Technology, Israel
6 publications · 307 citations
6
h-index
DG
Dan Grossman
University of Washington, United States
5 publications · 322 citations
5
h-index
LM
Luc Maranget
Institut national de recherche en sciences et technologies du numérique, France
5 publications · 177 citations
5
h-index

1–5 of 856

Institutions

311

1–8 of 311

Venues

ACM SIGPLAN Notices
30 publications · 802 citations
19
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 19 publications · 612 citations
14
h-index
Proceedings of the ACM on Programming Languages
PACMPL · 12 publications · 344 citations
12
h-index
ACM Transactions on Programming Languages and Systems
11 publications · 583 citations
11
h-index
Theoretical Computer Science
10 publications · 1K citations
10
h-index

1–5