Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974 (Lecture Notes in Computer Science) (English and French Edition)

Correctness of realizations of levels of abstraction in Operating Systems....Pages 1-14 A simulation model representing the OS/VS2 Release 2 Control Program....Pages 15-29 Une analyse de systeme par typologie....Pages 30-55 Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system....Pages 56-88 The specification of process synchronization by path expressions....Pages 89-102 A foreground-background time sharing queue with general service times....Pages 103-125 Espace d'adressage et espace d'exécution du systeme gemau....Pages 126-162 A new approach to avoidance of system deadlocks....Pages 163-170 A program structure for error detection and recovery....Pages 171-187 Analyse de quelques pannes d'un systeme d'exploitation....Pages 188-207 An open operating system for a single-user machine....Pages 208-217 Evaluation sur des modeles de comportement de programme de la taille d'un ensemble de travail....Pages 218-236 Schedulers as enforces in synchronization processes....Pages 237-256 Caractérisation fonctionnelle des systemes de fichiers....Pages 257-278 Presentation of the control graph models....Pages 279-292 The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor....Pages 293-310