A structured paging system

DOI10.1093/COMJNL/16.3.209MaRDI QIDQ5678418zbMATH OpenOpenAlexFDO

Authors Tony Hoare

Publication date 1973

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/16.3.209

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(3)

• The synchronization of independent processes
• Tony Hoare: his path to the ACM Turing Award
• A semantics for concurrent separation logic

This page was built for publication: A structured paging system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5678418)