Behavioural Differential Equations and Coinduction for Binary Trees

DOI10.1007/978-3-540-73445-1_23zbMath1213.68393OpenAlexW2142917938MaRDI QIDQ3612670

Alexandra Silva, Jan J. M. M. Rutten

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/11939

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (5)

Bisimulations Generated from Corecursive Equations ⋮ Complete sets of cooperations ⋮ Coalgebras in functional programming and type theory ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Observational Coalgebras and Complete Sets of Co-operations

This page was built for publication: Behavioural Differential Equations and Coinduction for Binary Trees