Pages that link to "Item:Q2323978"
From MaRDI portal
The following pages link to Behavioural equivalence via modalities for algebraic effects (Q2323978):
Displaying 9 items.
- Stable families of behavioural equivalences (Q1119013) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- (Q5020616) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- (Q5155670) (← links)
- Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)