Partial Correctness of Communicating Processes and Protocols

Ижил төстэй зүйлс

• Partial Correctness of Communicating Sequential Processes
  -н: Chaochen, Z, зэрэг
  Хэвлэсэн: (2015)
• The Consistency of the Calculus of Total Correctness for Communicating Processes
  -н: Hoare, C, зэрэг
  Хэвлэсэн: (1982)
• Partial Correctness of Communicating Sequential Processes
  -н: Zhou, C, зэрэг
  Хэвлэсэн: (1981)
• A Model for Synchronous Switching Circuits and its Theory of Correctness
  -н: Chaochen, Z, зэрэг
  Хэвлэсэн: (1992)
• A Calculus of Total Correctness for Communicating Processes
  -н: Hoare, C
  Хэвлэсэн: (1981)