Partial Correctness of Communicating Sequential Processes

অনুরূপ উপাদানগুলি

• Partial Correctness of Communicating Processes and Protocols
  অনুযায়ী: Hoare, C, অন্যান্য
  প্রকাশিত: (1981)
• Partial Correctness of Communicating Sequential Processes
  অনুযায়ী: Zhou, C, অন্যান্য
  প্রকাশিত: (1981)
• The Consistency of the Calculus of Total Correctness for Communicating Processes
  অনুযায়ী: Hoare, C, অন্যান্য
  প্রকাশিত: (1982)
• Communicating Sequential Processes
  অনুযায়ী: Hoare, C
  প্রকাশিত: (1976)
• Communicating Sequential Processes
  অনুযায়ী: Hoare, C
  প্রকাশিত: (1977)