Partial Correctness of Communicating Sequential Processes

Benzer Materyaller

• Partial Correctness of Communicating Processes and Protocols
  Yazar:: Hoare, C, ve diğerleri
  Baskı/Yayın Bilgisi: (1981)
• Partial Correctness of Communicating Sequential Processes
  Yazar:: Zhou, C, ve diğerleri
  Baskı/Yayın Bilgisi: (1981)
• The Consistency of the Calculus of Total Correctness for Communicating Processes
  Yazar:: Hoare, C, ve diğerleri
  Baskı/Yayın Bilgisi: (1982)
• Communicating Sequential Processes
  Yazar:: Hoare, C
  Baskı/Yayın Bilgisi: (1976)
• Communicating Sequential Processes
  Yazar:: Hoare, C
  Baskı/Yayın Bilgisi: (1977)