Login / Signup

Proving Liveness Properties of Concurrent Programs.

Susan S. OwickiLeslie Lamport
Published in: ACM Trans. Program. Lang. Syst. (1982)
Keyphrases
  • concurrent programs
  • artificial intelligence