Pages that link to "Item:Q4946628"
From MaRDI portal
The following pages link to Observational trees as models for concurrency (Q4946628):
Displayed 5 items.
- Generalising Conduché's theorem (Q633801) (← links)
- Conduché property and tree-based categories (Q1040596) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)