The following pages link to (Q4251120):
Displaying 5 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Distributed concurrent linear logic programming (Q1575879) (← links)
- (Q4506387) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)