Technical Correspondence: On Apt, Francez, and de Roever's ``A Proof System for Communicating Sequential Processes''
Abha Moitra · ACM Transactions on Programming Languages and Systems · 1983
article Free AccessTechnical Correspondence: On Apt, Francez, and de Roever's ``A Proof System for Communicating Sequential Processes'' Author: Abha Moitra National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, India National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400 005, IndiaView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 5Issue 3July 1983 pp 500–501https://doi.org/10.1145/2166.357222Published:01 July 1983Publication History 2citation197DownloadsMetricsTotal Citations2Total Downloads197Last 12 Months5Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF