Pages that link to "Item:Q4162644"
From MaRDI portal
The following pages link to Communicating sequential processes (Q4162644):
Displaying 5 items.
- A brief history of Timed CSP (Q674191) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Modular Markovian Logic (Q3012934) (← links)
