Pages that link to "Item:Q5709372"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709372):
Displaying 5 items.
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- Verifying security protocols with PVS: widening the rank function approach (Q2484411) (← links)
- Validating Security Protocols under the General Attacker (Q3184711) (← links)
- (Q4250672) (← links)
- (Q4411969) (← links)