Proof rules for communicating sequential processes

Author(s)

Bibliographic Information

Proof rules for communicating sequential processes

by Gary Marc Levin

University Microfilms International, 1980

Available at  / 1 libraries

Search this Book/Journal

Note

Facsim. Reprint of the author's thesis (Ph.D.)--Cornell University, 1980

Includes bibliographical references (p. 67-68)

Details

  • NCID
    BC14604606
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor
  • Pages/Volumes
    viii, 68 p.
  • Size
    22 cm
Page Top