The Consistency of the Calculus of Total Correctness for Communicating Processes
| Main Authors: | , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory‚ Programming Research Group
1982
|
| Main Authors: | , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory‚ Programming Research Group
1982
|