The following pages link to (Q4409159):
Displaying 5 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Are there interactive protocols for co-NP languages? (Q1118406) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- An exercise on transition systems (Q2873687) (← links)