Journal article icon

Journal article

A Calculus of Total Correctness for Communicating Processes

Actions


Authors


C.A.R. Hoare More by this author
Journal:
The Science of Computer Programming
Volume:
1
Issue:
1–2
Pages:
49-72
Publication date:
1981-10-01
URN:
uuid:9315039c-b5c2-4173-ba6d-b583a76676a4
Local pid:
cs:8262

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP