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)