Now showing items 1-2 of 2

    • 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 ...
    • Information Flow in Parallel Programs: An Axiomatic Approach 

      Reitman, Richard P. (Cornell University, 1978-08)
      The information flow problem is concerned with controlling the transmission of information in computer systems. This thesis addresses this problem by developing an axiomatic logic that captures the information flow ...