A tutorial on coinductive stream calculus and signal flow graphs

Theoretical Computer Science

Volumn 343, Issue 3, 2005, Pages 443-481

  Rutten, J J M M ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Coalgebra; Coinduction; Signal flow graphs; Streams

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

COALGEBRA; COINDUCTION; SIGNAL FLOW GRAPHS; STREAMS;

COMPUTATIONAL GEOMETRY;

EID: 25844435870     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.06.019     Document Type: Conference Paper

References (13)

1. P. Aczel, N. Mendler, A final coalgebra theorem, in: D.H. Pitt, D.E. Ryeheard, P. Dybjer, A.M. Pitts, A. Poigne (Eds.), Proc. Category Theory and Computer Science, Lecture Notes in Computer Science, Vol. 389, Springer, Berlin, 1989, pp. 357-365.
2. F. Arbab Reo: a channel-based coordination model for component composition Math. Struct. Comput. Sci. 14 2004 329 366
3. F. Arbab, J.J.M.M. Rutten, A coinductive calculus of component connectors, in: M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Proc. WADT 2002, Lecture Notes in Computer Science, Vol. 2755, Springer, Berlin, 2003, pp. 35-56.
4. M.A. Arbib, and E.G. Manes Machines in a category J. Pure Appl. Algebra 19 1980 9 20
5. CMCS'98-'02, Proc. Internat. Workshop Series Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, Vols. 11, 19, 33, 44, 65, Elsevier Science B.V., Amsterdam.
6. B.P. Lahti Signal Processing & Linear Systems 1998 Oxford University Press Oxford
7. E.G. Manes, and M.A. Arbib Algebraic Approaches to Program Semantics, Texts and Monographs in Computer Science 1986 Springer Berlin
8. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, Berlin, 1980.
9. D.M.R. Park, Concurrency and automata on infinite sequences, in: P. Deussen (Ed.), Proc. 5th GI Conference, Lecture Notes in Computer Science, Vol. 104, Springer, Berlin, 1981, pp. 167-183.
10. J.J.M.M. Rutten Universal coalgebra: a theory of systems Theoret. Comput. Sci. 249 1 2000 3 80
11. J.J.M.M. Rutten, Elements of stream calculus (an extensive exercise in coinduction) in: S. Brooks, M. Mislove (Eds.), Proc. MFPS 2001, Electronic Notes in Theoretical Computer Science, Vol. 45, Elsevier Science Publishers, Amsterdam, 2001, pp. 1-66.
12. J.J.M.M. Rutten, The differential calculus of bitstreams, Report SEN-E0403, CWI, 2004.
13. J. van Benthem, Modal correspondence theory, Ph.D. Thesis, University of Amsterdam, Amsterdam, 1976.