Proof rules for communicating sequential processes

著者

• Levin, Gary

書誌事項

Proof rules for communicating sequential processes

by Gary Marc Levin

University Microfilms International, 1980

注記

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

Includes bibliographical references (p. 67-68)

詳細情報

• NII書誌ID(NCID): BC14604606
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Ann Arbor
• ページ数/冊数: viii, 68 p.
• 大きさ: 22 cm