The following pages link to (Q4038659):
Displaying 9 items.
- Concurrency without toil: A systematic method for parallel program design (Q685624) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Splitting atoms safely (Q879357) (← links)
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
- A transformation system for concurrent processes (Q1284702) (← links)
- A structured approach for developing concurrent programs in Java (Q1285677) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- A case study in transformational design of concurrent systems (Q5044728) (← links)
- On transformations of concurrent object programs (Q6104370) (← links)
