Partial Correctness of Communicating Sequential Processes

समान संसाधन

• Partial Correctness of Communicating Processes and Protocols
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1981)
• Partial Correctness of Communicating Sequential Processes
  द्वारा: Zhou, C, और अन्य
  प्रकाशित: (1981)
• The Consistency of the Calculus of Total Correctness for Communicating Processes
  द्वारा: Hoare, C, और अन्य
  प्रकाशित: (1982)
• Communicating Sequential Processes
  द्वारा: Hoare, C
  प्रकाशित: (1976)
• Communicating Sequential Processes
  द्वारा: Hoare, C
  प्रकाशित: (1977)