Browsing by Author "McGraw, James R."
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 ...
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 ...