Partial Correctness of Communicating Processes and Protocols
मुख्य लेखकों: | Hoare, C, Chaochen, Z |
---|---|
स्वरूप: | Report |
प्रकाशित: |
Oxford University Computing Laboratory‚ Programming Research Group
1981
|
समान संसाधन
-
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)