The following pages link to (Q3385647):
Displaying 10 items.
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- (Q5020941) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- On the expressiveness and efficiency of guarded lists in Bach (Q6643471) (← links)
