Concepedia

Russell R. Atkinson

RR

Statistics

Publications

9

Citations

1K

H-Index

9

Active since

1977

Affiliations

Palo Alto Research Center(Current)

Massachusetts Institute of Technology

Russell R. Atkinson is an author at Palo Alto Research Center specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisParallel ProgrammingSoftware EngineeringSoftware AnalysisParallel ComputingFormal Verification

Publications per year

1977–1989

9

Publications

9

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · Communications of the ACM · 1977 · 771 citations · Full text

Engineering, Software Systems, Control Abstractions +19

Specification and Proof Techniques for Serializers

Carl Hewitt, Russell R. Atkinson · IEEE Transactions on Software Engineering · 1979 · 68 citations

Engineering, Monitor Mechanism, Information Security +20

Synchronization in actor systems

Russell R. Atkinson, Carl Hewitt · 1977 · 48 citations · Full text

Engineering, Computer Architecture, Concurrent System +19

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · 1977 · 45 citations

Engineering, Program Analysis, Automated Reasoning +10

Aspects Of Implementing CLU

Russell R. Atkinson, Barbara Liskov, Robert W. Scheifler · 1978 · 35 citations

Engineering, Implementing Clu, Software Engineering +26

1–5 of 9