The following pages link to (Q4261081):
Displaying 6 items.
- A categorical model for the geometry of interaction (Q817846) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Physical traces: quantum vs. classical information processing (Q2842812) (← links)
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)