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)