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)