![](/img/cover-not-exists.png)
Technical Correspondence: On Apt, Francez, and de Roever's ``A Proof System for Communicating Sequential Processes''
Moitra, AbhaVolume:
5
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/2166.357222
Date:
July, 1983
File:
PDF, 117 KB
english, 1983