Skip to main content
SpringerLink
Log in
Book cover

Operating Systems

Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974

  • Conference proceedings
  • © 1974

Overview

Editors:
  1. E. Gelenbe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. Kaiser
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 16)

Included in the following conference series:

Conference proceedings info: OS 1974.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Correctness of realizations of levels of abstraction in Operating Systems

    • G. Belpaire, J. P. Wilmotte
    Pages 1-14

  3. A simulation model representing the OS/VS2 Release 2 Control Program

    • T. Beretvas
    Pages 15-29

  4. Une analyse de systeme par typologie

    • D. Borrione
    Pages 30-55

  5. Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system

    • A. Brandwajn
    Pages 56-88

  6. The specification of process synchronization by path expressions

    • R. H. Campbell, A. N. Habermann
    Pages 89-102

  7. A foreground-background time sharing queue with general service times

    • C. Guimaraes
    Pages 103-125

  8. Espace d'adressage et espace d'exécution du systeme gemau

    • S. Guiboud-Ribaud, J. Briat
    Pages 126-162

  9. A new approach to avoidance of system deadlocks

    • A. N. Habermann
    Pages 163-170

  10. A program structure for error detection and recovery

    • J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, B. Randell
    Pages 171-187

  11. Analyse de quelques pannes d'un systeme d'exploitation

    • C. Kaiser, S. Krakowiak
    Pages 188-207

  12. An open operating system for a single-user machine

    • B. W. Lampson
    Pages 208-217

  13. Evaluation sur des modeles de comportement de programme de la taille d'un ensemble de travail

    • J. Lenfant
    Pages 218-236

  14. Schedulers as enforces in synchronization processes

    • R. J. Lipton
    Pages 237-256

  15. Caractérisation fonctionnelle des systemes de fichiers

    • Christine Parent
    Pages 257-278

  16. Presentation of the control graph models

    • Michel Parent
    Pages 279-292

  17. The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor

    • N. H. Shelness, P. D. Stephens, H. Whitfield
    Pages 293-310

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Operating Systems

Keywords

Bibliographic Information

  • Book Title: Operating Systems

  • Book Subtitle: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974

  • Editors: E. Gelenbe, C. Kaiser

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0029350

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1974

  • Softcover ISBN: 978-3-540-06849-5Published: 01 January 1981

  • eBook ISBN: 978-3-540-37805-1Published: 06 December 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 310

  • Number of Illustrations: 20 b/w illustrations

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation