Pages that link to "Item:Q1391859"
From MaRDI portal
The following pages link to A representable approach to finite nondeterminism (Q1391859):
Displaying 11 items.
- Free semiring-representations and nondeterminism (Q1085968) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- On finite representations of infinite-state behaviours (Q1606922) (← links)
- A category theoretic view of nondeterministic recursive program schemes (Q2915707) (← links)
- Finite-cofinite program relations (Q4237678) (← links)
- Semantics for Algebraic Operations (Q4917064) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- New Computational Paradigms (Q5717062) (← links)
- A category-theoretic semantics for unbounded indeterminacy (Q5887523) (← links)