Symposium on Operating Systems 1974: Rocquencourt, France

Erol Gelenbe, Claude Kaiser (Eds.): Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974. Lecture Notes in Computer Science 16 Springer 1974, ISBN 3-540-06849-X BibTeX

@proceedings{DBLP:conf/os/1974,
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Operating Systems, Proceedings of an International Symposium
               held at Rocquencourt, April 23-25, 1974},
  booktitle = {Symposium on Operating Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  year      = {1974},
  isbn      = {3-540-06849-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Gerald Belpaire, J. R. Wilmotte: Correctness of realizations of levels of abstraction in operating systems. 1-15 BibTeX
Thomas Beretvas: A simulation model representing the OS/VS2 release 2 control program. 15-29 BibTeX
Alexandre Brandwajn: Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system. 56-88 BibTeX
Roy H. Campbell, A. Nico Habermann: The specification of process synchronization by path expressions. 89-102 BibTeX
C. Guimaraes: A foreground- background time sharing queue with general service times. 103-125 BibTeX
Serge Guiboud-Ribaud, J. Briat: Espace d'adressage et espace d'exécuteion du systeème Gemau. 126-162 BibTeX
A. Nico Habermann: A new approach to avoidance of system deadlocks. 163-170 BibTeX
James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. 171-187 BibTeX
Claude Kaiser, Sacha Krakowiak: Analyse de quelques pannes d'un systeème d'exploitation. 188-207 BibTeX
Butler W. Lampson: An open operating system for a single-user machine. 208-217 BibTeX
Jacques Lenfant: Evaluation sur des modèles de comportement de programme de la taille d'un ensemble de travail. 218-236 BibTeX
Richard J. Lipton: Schedulers as enforces in synchronization. 237-256 BibTeX
Christine Parent: Caractérisation fonctionelle des systèmes de fichiers. 257-278 BibTeX
Michel Parent: Presentation of the control graph models. 279-292 BibTeX
N. H. Shelness, P. D. Stephens, Harry Whitfield: The Edinburgh multi-access system scheduling and allocation procedures in the resident supervisor. 293-310 BibTeX