The following pages link to (Q3685165):
Displaying 12 items.
- An axiomatic treatment of SIMD assignment (Q583875) (← links)
- A generalized language of parallel compositions (Q1057639) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- Categorical semantics of parallel program design (Q1356941) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- Interdefinability of parallel operations in PCF (Q2638760) (← links)
- (Q2754132) (← links)
- (Q3197319) (← links)
- Implementation of a Pascal based parallel language for a multiprocessor computer (Q3345758) (← links)
- (Q4945248) (← links)
- (Q5028469) (← links)
- (Q5146755) (← links)