The following pages link to (Q3385647):
Displayed 8 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)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)
- (Q6190868) (← links)
- (Q6190871) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)