Proving Liveness Properties of Concurrent Programs

  • Susan Owicki
    Computer Systems Laboratory, Stanford Electronics Laboratories, Department of Electrical Engineering, Stanford University, Stanford, CA
  • Leslie Lamport
    Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA

書誌事項

公開日
1982-07
権利情報
  • https://www.acm.org/publications/policies/copyright_policy#Background
DOI
  • 10.1145/357172.357178
公開者
Association for Computing Machinery (ACM)

この論文をさがす

収録刊行物

被引用文献 (2)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ