@dblp

A tutorial on coinductive stream calculus and signal flow graphs.

. Theor. Comput. Sci., 343 (3): 443-481 (2005)

Links and resources

Tags

community