The Consistency of the Calculus of Total Correctness for Communicating Processes

Podobne zapisy

• A Calculus of Total Correctness for Communicating Processes
  od: Hoare, C
  Wydane: (1981)
• A Calculus of Total Correctness for Communicating Processes
  od: Hoare, C
  Wydane: (1981)
• Partial Correctness of Communicating Sequential Processes
  od: Chaochen, Z, i wsp.
  Wydane: (2015)
• Partial Correctness of Communicating Processes and Protocols
  od: Hoare, C, i wsp.
  Wydane: (1981)
• A Calculus of Durations
  od: Chaochen, Z, i wsp.
  Wydane: (1991)