Pages that link to "Item:Q1884876"

The following pages link to Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876):

Displayed 6 items.

• Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) ‎ (← links)
• (Bi)simulations up-to characterise process semantics (Q1012122) ‎ (← links)
• Derivatives of rational expressions with multiplicity (Q1770384) ‎ (← links)
• Distributive laws for the coinductive solution of recursive equations (Q2495644) ‎ (← links)
• Automata and fixed point logic: a coalgebraic perspective (Q2495648) ‎ (← links)
• Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) ‎ (← links)