The following pages link to The essence of parallel Algol. (Q1400721):
Displaying 6 items.
- A semantics for concurrent separation logic (Q879367) (← links)
- Strong fairness and full abstraction for communicating processes (Q1854396) (← links)
- Full abstraction for a shared-variable parallel language (Q1923100) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- (Q5089301) (← links)