Communicating Sequential Processes. The First 25 Years
From MaRDI portal
Publication:5709372
Recommendations
Cited in
(7)- Using CSP to verify sequential consistency
- Validating Security Protocols under the General Attacker
- scientific article; zbMATH DE number 1864587 (Why is no real title available?)
- scientific article; zbMATH DE number 1304002 (Why is no real title available?)
- The symbiosis of concurrency and verification: teaching and case studies
- Verifying security protocols with PVS: widening the rank function approach
- scientific article; zbMATH DE number 1948405 (Why is no real title available?)
This page was built for publication: Communicating Sequential Processes. The First 25 Years
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709372)