Pages that link to "Item:Q2850841"
From MaRDI portal
The following pages link to Abstract GSOS rules and a modular treatment of recursive definitions (Q2850841):
Displaying 13 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Friends with Benefits (Q2988636) (← links)
- The Microcosm Principle and Compositionality of GSOS-Based Component Calculi (Q3090871) (← links)
- (Q4585073) (← links)
- Equations, Contractions, and Unique Solutions (Q5278202) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)