Pages that link to "Item:Q1285677"
From MaRDI portal
The following pages link to A structured approach for developing concurrent programs in Java (Q1285677):
Displaying 7 items.
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java (Q2340048) (← links)
- Observations on the assured evolution of concurrent Java programs (Q2575141) (← links)
- (Q3122691) (← links)
- (Q4240122) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- (Q5472796) (← links)