An Operating System Structuring Concept
Data up to Jan 2025
Total Citations Per Year
Abstract
References (16)
Cooperating Sequential Processes
1968 • 1,342 citations
Proof of correctness of data representations
1972 • 959 citations
Hierarchical ordering of sequential processes
1971 • 776 citations
The programming language pascal
1971 • 725 citations
Concurrent control with “readers” and “writers”
1971 • 526 citations
Towards a Theory of Parallel Programming
1972 • 298 citations
A constructive approach to the problem of program correctness
1968 • 238 citations
Structured multiprogramming
1972 • 201 citations
Hierarchical Program Structures
1972 • 166 citations
Slave Memories and Dynamic Storage Allocation
1965 • 115 citations
A study of interleaved memory systems
1970 • 60 citations
Information streams sharing a finite buffer
1972 • 26 citations
A class of allocation strategies inducing bounded delays only
1971 • 25 citations
A structured paging system
1973 • 25 citations
A Combinatorial Problem Related to Interleaved Memory Systems
1973 • 24 citations
On the Performance of Interleaved Memories with Multiple-Word Bandwidths
1971 • 18 citations