Elements of stream calculus: (An extensive exercise in coinduction)

Electronic Notes in Theoretical Computer Science

Volumn 45, Issue , 2001, Pages 358-423

  Rutten, J J M M ^a  

^a CWI   (Netherlands)

Author keywords

Coalgebra; Coinduction; Counting; Derivative; Difference equation; Differential equation; Euler formula; Finality; Formal power series; Stream; Weighted automaton

Indexed keywords

ALGEBRA; COMBINATORIAL MATHEMATICS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); FINITE AUTOMATA; THEOREM PROVING;

COALGEBRA; COINDUCTION; COUNTING; DERIVATIVE; EULAR FORMULA; FINALITY; FORMAL POWER SERIES; STREAM; WEIGHTED AUTOMATON;

COMPUTER SCIENCE;

EID: 18944383059     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80972-1     Document Type: Conference Paper

References (32)

1. Aczel P. "Non-well-founded Sets," Number 14 in CSLI Lecture Notes :1988;Center for the Study of Languages and Information, Stanford
2. P. Aczel and N. Mendler. A final coalgebra theorem, In D.H. Pitt, D.E. Ryeheard, P. Dybjer, A. M. Pitts, and A. Poigne, editors, Proceedings category theory and computer science, Lecture Notes in Computer Science 389 (1989), pp. 357-365.
3. F. Bartels. Generalised coinduction, Report SEN-R0043, CWI, 2000. Available at URL: www.cwi.nl. Extended abstract in Electronic Notes in Theoretical Computer Science 44.1 (2001), Elsevier, 2001, Available at URL: http://www.elsevier.nl/locate/entcs/volume44.html.
4. F. Bergeron, G. Labelle, and P. Leroux. "Combinatorial Species and Tree-like Structures," Volume 67 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, 1998.
5. Birkhoff G., Rota G.-C. "Ordinary Differential Equations (Third Edition)," 1978;John Wiley and Sons
6. Berstel J., Reutenauer C. "Rational Series and Their Languages," Volume 12 of EATCS Monographs on Theoretical Computer Science :1988;Springer-Verlag
7. Brzozowski J.A. Derivatives of regular expressions. Journal of the ACM. 11:(4):1964;481-494
8. Comtet L. "Advanced Combinatorics," 1974;D. Reidel Publishing Company
9. Conway J.H. "Regular Algebra and Finite Machines," 1971;Chapman and Hall
10. Flajolet P. Combinatorial aspects of continued fractions. Discrete Mathematics. 32:1980;125-161
11. Graham R.L., Knuth D.E., Patashnik O. "Concrete Mathematics," Second Edition :1994;Addison-Wesley
12. Gunawardena J. "Idempotency," Publications of the Newton Institute :1998;Cambridge University Press
13. Jacobs Bart, Rutten Jan. A tutorial on (co)algebras and (co)induction. Bulletin of the EATCS. 62:1997;222-259. Available at URL: www.cwi.nl/~janr.
14. Karczmarczuk J. Generating power of lazy semantics. Theoretical Computer Science. 187:1997;203-219
15. J. Karczmarczuk. Lazy processing and optimization of discrete sequences, In Proceedings of the JFLA '2000, 2000. In French.
16. Mcllroy M.D. Power series, power serious. Journal of Functional Programming. 9:1999;323-335
17. Mcllroy M.D. The music of streams, Information Processing Letters. 77:2001;189-195
18. Mikusinski J. "Operational calculus," Volume 109:1983;Pergamon press
19. Milner R. "A Calculus of Communicating Systems," Lecture Notes in Computer Science 92 :1980;Springer-Verlag, Berlin
20. Milner R. "Communication and Concurrency," 1989;Prentice Hall
21. D.M.R. Park. Concurrency and automata on infinite sequences, In P. Deussen, editor, Proceedings 5th GI conference, volume 104 of Lecture Notes in Computer Science, pages 15-32. Springer-Verlag, 1981.
22. D. Pavlović and M. Escardó. Calculus in coinductive form, In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, pages 408-417. IEEE Computer Society Press, 1998.
23. J.J.M.M. Rutten. Automata and coinduction (an exercise in coalgebra), Report SEN-R9803, CWI, 1998. Available at URL: www.cwi.nl.
24. Also in the proceedings of CONCUR '98, LNCS 1466, 1998, pp. 194-218.
25. J.J.M.M. Rutten. Automata, power series, and coinduction: taking input derivatives seriously (extended abstract), Report SEN-R9901, CWI, 1999. Available at URL: www.cwi.nl.
26. Also in the proceedings of ICALP '99, LNCS 1644, 1999, pp. 645-654.
27. J.J.M.M. Rutten. Behavioural differential equations: a coinductive calculus of streams, automata, and power series, Report SEN-R0023, CWI, 2000. Available at URL: www.cwi.nl.
28. Rutten J.J.M.M. Universal coalgebra: a theory of systems, Theoretical Computer Science. 249:(1):2000;3-80
29. Sangiorgi D. On the bisimulation proof method, Mathematical Structures in Computer Science. 8:(5):1998;447-479
30. Scheid F. "Theory and problems of numerical analysis (Schaum's outline series)," 1968;McGraw-Hill
31. Sneddon I.N. "The use of integral transforms." 1972;McGraw-Hill
32. Wilf H.S. "Generatingfunctionology," 1994;Academic Press, San Diego, CA