SEN
Download:
pdf
by De Boelelaan A, Hv Amsterdam
http://www.cwi.nl/ftp/CWIreports/SEN/SEN-E0305.pdf
Add To MetaCart
Abstract:
Centrum voor Wiskunde en Informatica Software ENgineering An application of coinductive stream calculus to signal flow graphs J.J.M.M. Rutten
Citations
| 146 | A final coalgebra theorem – Aczel, Mendler - 1988 |
| 11 | Machines in a category – Arbib, Manes |
