Partial Correctness of Communicating Sequential Processes

Lignende værker

• Partial Correctness of Communicating Sequential Processes
  af: Chaochen, Z, et al.
  Udgivet: (2015)
• Partial Correctness of Communicating Processes and Protocols
  af: Hoare, C, et al.
  Udgivet: (1981)
• Communicating Sequential Processes
  af: Hoare, C
  Udgivet: (1976)
• Communicating Sequential Processes
  af: Hoare, C
  Udgivet: (1977)
• Communicating Sequential Processes
  af: Hoare, C
  Udgivet: (1978)