Skip to main content
Conference ProceedingsOPEN ACCESS

Formal properties of recursive virtual machine architectures

Proceedings of the 5th ACM Symposium on Operating Systems Principles, SOSP 1975 (1975) 89-96
DOI: 10.1145/800213.806526
10Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

Abstract

A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the sufficient conditions that a machine architecture must verify in order to support VM systems. The model deals explicitly with resource mappings (protection) and with I/O devices. Some already published results are retrieved and other ones, more general, are obtained.

Author supplied keywords

Cite

CITATION STYLE

APA

Belpaire, G., & Hsu, N. T. (1975). Formal properties of recursive virtual machine architectures. In Proceedings of the 5th ACM Symposium on Operating Systems Principles, SOSP 1975 (pp. 89–96). Association for Computing Machinery, Inc. https://doi.org/10.1145/800213.806526

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free