Partial Correctness of Communicating Sequential Processes

Míreanna comhchosúla

• Partial Correctness of Communicating Processes and Protocols
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1981)
• Partial Correctness of Communicating Sequential Processes
  de réir: Zhou, C, et al.
  Foilsithe / Cruthaithe: (1981)
• The Consistency of the Calculus of Total Correctness for Communicating Processes
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1982)
• Communicating Sequential Processes
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1976)
• Communicating Sequential Processes
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1977)