The following pages link to Doug Gurr (Q1208238):
Displayed 5 items.
- A representation theorem for quantales (Q1208239) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- A categorical linear framework for Petri nets (Q2508330) (← links)
- Temporal logic and categories of Petri nets (Q4630293) (← links)
- Timing Petri Nets categorically (Q5204348) (← links)