Pages that link to "Item:Q808690"
From MaRDI portal
The following pages link to A model of concurrency with fair merge and full recursion (Q808690):
Displayed 5 items.
- Computable concurrent processes (Q673972) (← links)
- Games and winning strategies (Q674272) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- The logic of recursive equations (Q4212915) (← links)
- 1994 Annual Meeting of the Association for Symbolic Logic (Q4837677) (← links)