CSP: A Practical Process Algebra
Stephen Brookes, Andrew William Roscoe · ACM eBooks · 2021
chapter Share on CSP: A Practical Process Algebra Authors: Stephen D. Brookes Search about this author , A.W. Roscoe Search about this author Authors Info & Claims Theories of Programming: The Life and Works of Tony HoareOctober 2021 Pages 187–222https://doi.org/10.1145/3477355.3477365Online:02 October 2021Publication History 0citation4DownloadsMetricsTotal Citations0Total Downloads4Last 12 Months4Last 6 weeks1 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 SiteGet Access