- Elements of Stream Calculus: (An Extensive Exercise in Coinduction) J.J.M.M. Rutten Sat 25 March 2023
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series J. J. M. M. Rutten Sat 25 March 2023
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
