Now showing items 1-12 of 12

    • Access Control in Parallel Programs 

      McGraw, James R.; Andrews, Gregory R. (Cornell University, 1978-01)
      An important component of a programming language for writing operating systems, or other large parallel systems, is the set of access control facilities. Two principles for access control, expressive power and access ...
    • An Axiomatic Approach to Information Flow in Parallel Programs 

      Andrews, Gregory R.; Reitman, Richard P. (Cornell University, 1978-12)
      This paper presents a new, axiomatic approach to information flow in sequential and parallel programs. Flow axioms that capture the information flow semantics of a variety of statements are given and used to construct ...
    • Concepts and Conditions for Confinement 

      Andrews, Gregory R. (Cornell University, 1975-05)
      THe confinement problem is concerned with preventing a computaitonal service from divulging information entrusted to it. A model of computer protection is presented and used to formally define the problem and its relation ...
    • Concepts and Notations for Concurrent Programming 

      Andrews, Gregory R.; Schneider, Fred B. (Cornell University, 1982-09)
      Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of ...
    • COPS - A Mechanism for Computer Protection 

      Andrews, Gregory R. (Cornell University, 1974-10)
      A computer protection mechanism is a set of tools for controlling the actions of computations and safeguarding stored information. This paper describes a new mechanism, COPS, which is a kernel of data structures, primitive ...
    • The Design of Parallel Systems: An Application and Evaluation of Modula 

      Andrews, Gregory R. (Cornell University, 1978-01)
      Modula is a new programming language for implementing dedicated, parallel systems. Following a systematic design technique, this paper illustrates the use of Modula for the design of a message switching communication ...
    • Language Features for Process Interaction 

      Andrews, Gregory R.; McGraw, James R. (Cornell University, 1976-09)
      Language for parallel programming should meet four goals: expressiveness, reliability, security, and verifiability. This paper presents a set of language features for describing processes and process interaction, gives ...
    • Message Classes: An Approach to Process Synchronization 

      Andrews, Gregory R. (Cornell University, 1976-04)
      In multiprogramming systems, parallel processes compete for access to shared resources and cooperate by exchanging information. Semaphores are a useful means for controlling competition and synchronizing execution and ...
    • Modula and the Design of a Message Switching Communication System 

      Andrews, Gregory R. (Cornell University, 1978-01)
      This report describes the functions of a message switching communications system and presents an implementation in terms of the Modula programming language. In particular, the report: (1) describes a representative ...
    • Partitions and Principles for Secure Operating Systems 

      Andrews, Gregory R. (Cornell University, 1975-02)
      As part of the general goal of providing secure computer systems, the design of verifiably secure operating systems is one of the most important tasks. This paper addresses the problem by defining security in terms of a ...
    • Synchronizing Resources 

      Andrews, Gregory R. (Cornell University, 1978-12)
      A new proposal for synchronization and communication in parallel programs is presented. The proposal, called synchronization resources, combines and extends aspects of procedures, coroutines, monitors, communicating ...
    • Three Surveys on Operating System Topics 

      Andrews, Gregory R.; Schneider, Fred B. (Cornell University, 1980-05)
      Recently, we were asked by the Wiley Publishing Company to write survey articles covering some of the important concepts in operating systems for their forthcoming Handbook of Electrical and Computer Engineering. The ...