The following pages link to (Q4251929):
Displayed 5 items.
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- Event Structure Spans for Nondeterministic Dataflow (Q2866348) (← links)