ACM Transactions on Programming Languages and Systems
Source
ISSNs 0164-0925, 1558-4593
Source type: journal
Publisher: Association for Computing Machinery
Alternate names Transactions on programming languages and systems, Association for Computing Machinery transactions on programming languages and systems
Fully open access: No
In DOAJ: No
2yr mean citedness: 1.644
H-index: 142
I10-index: 910
Works count: 1,236
Citations count: 110,300
The Byzantine Generals Problem
1982 · Leslie Lamport, Robert E. Shostak, et al. · ACM Transactions on Programming Languages and Systems
Automatic verification of finite-state concurrent systems using temporal logic specifications
1986 · E. M. Clarke, E. Allen Emerson, et al. · ACM Transactions on Programming Languages and Systems
Linearizability: a correctness condition for concurrent objects
1990 · Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems