The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Record: oai:ARNO:350394

AuthorsJ.A. Bergstra, C.A. Middelburg
TitleOn the definition of a theoretical concept of an operating system
Year2010
Pages8
FacultyFaculty of Science
Institute/dept.FNWI: Informatics Institute (II)
AbstractWe dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like. This is considered a valuable preparation for the development of a mathematical theory of operating systems.
Document typeReport
Download paper
Document finderUvA-Linker