Now showing items 1-3 of 3

    • 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 ...
    • 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 ...
    • Language Features for Process Interaction and Access Control 

      McGraw, James R. (Cornell University, 1977-07)