Pages that link to "Item:Q1208210"
From MaRDI portal
The following pages link to Enriched categorical semantics for distributed calculi (Q1208210):
Displaying 7 items.
- Conduché property and tree-based categories (Q1040596) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- Connected limits, familial representability and Artin glueing (Q4882486) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
