The following pages link to (Q3385647):
Displaying 5 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)
