Behavioural differential equations and coinduction for binary trees (2007)

by Alexandra Silva, Jan J M M Rutten
Venue:in: Daniel Leivant, Ruy J.G.B. de Queiroz (Eds.), WoLLIC, in: Lecture Notes in Computer Science