Partial Correctness of Communicating Processes and Protocols
Huvudupphovsmän: | Hoare, C, Chaochen, Z |
---|---|
Materialtyp: | Report |
Publicerad: |
Oxford University Computing Laboratory‚ Programming Research Group
1981
|
Liknande verk
-
Partial Correctness of Communicating Sequential Processes
av: Chaochen, Z, et al.
Publicerad: (2015) -
The Consistency of the Calculus of Total Correctness for Communicating Processes
av: Hoare, C, et al.
Publicerad: (1982) -
Partial Correctness of Communicating Sequential Processes
av: Zhou, C, et al.
Publicerad: (1981) -
A Model for Synchronous Switching Circuits and its Theory of Correctness
av: Chaochen, Z, et al.
Publicerad: (1992) -
A Calculus of Total Correctness for Communicating Processes
av: Hoare, C
Publicerad: (1981)