The following pages link to E. Pascal Gribomont (Q685622):
Displayed 9 items.
- Concurrency without toil: A systematic method for parallel program design (Q685624) (← links)
- Item:Q685622 (redirect page) (← links)
- Simplification of boolean verification conditions (Q1575276) (← links)
- Stepwise refinement and concurrency: The finite-state case (Q2640349) (← links)
- (Q3792219) (← links)
- (Q4038659) (← links)
- (Q4417916) (← links)
- (Q4428300) (← links)
- (Q4723291) (← links)