The following pages link to Process realizability (Q2752053):
Displaying 6 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Real and complex QARMA processes (Q1925081) (← links)
- Capability passing processes (Q2373642) (← links)
- (Q3783514) (← links)
- (Q4215635) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)