The structuring of systems using upcalls
ACM SIGOPS Operating Systems Review · 1985 · 255 citations · 5 references
Mathematical StructureEngineeringComputational Model TheoryAlert PreferencesFormal MethodsSystems EngineeringUpcalls ShareCitation AnalysisComputer ScienceRealization TheoryTechnologyData Management
article The structuring of systems using upcalls Share on Author: David D. Clark Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MAView Profile Authors Info & Claims ACM SIGOPS Operating Systems ReviewVolume 19Issue 5Dec. 1-4, 1985 pp 171–180https://doi.org/10.1145/323627.323645Online:01 December 1985Publication History 224citation2,398DownloadsMetricsTotal Citations224Total Downloads2,398Last 12 Months67Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
5
The structure of the “THE”-multiprogramming system
Edsger W. Dijkstra · Communications of the ACM · 1968
1.1K citations
Garbage collection in a large LISP system
David A. Moon · 1984
276 citations
Modularization and hierarchy in a family of operating systems
A. N. Habermann, Lawrence Flon, Lee W. Cooprider · Communications of the ACM · 1976
162 citations
A Provably Secure Operating System.
Peter G. Neumann, Luke Robinson, Karl Levitt et al. · Defense Technical Information Center (DTIC) · 1975
45 citations
AN ARGUMENT FOR SOFT LAYERING OF PROTOCOLS
G. H. Cooper · 1983
19 citations