Stream processing coalgebraically

Science of Computer Programming - Tập 78 - Trang 2192-2215 - 2013
Milad Niqui1, Jan J.M.M. Rutten1,2
1Centrum Wiskunde & Informatica (CWI), The Netherlands
2Radboud University Nijmegen, the Netherlands

Tài liệu tham khảo

Allouche, 2003

Arbab, 2004, Reo: a channel-based coordination model for component composition, Math. Structures Comput. Sci., 14, 329, 10.1017/S0960129504004153

Berstel, 1988, Rational series and their languages, vol. 12

Broy, 2001, The algebra of stream processing functions, Theoret. Comput. Sci., 258, 99, 10.1016/S0304-3975(99)00322-9

Christol, 1979, Ensembles presque periodiques k-reconnaissables, Theoret. Comput. Sci., 9, 141, 10.1016/0304-3975(79)90011-2

Fogg, 2002, Substitutions in dynamics, arithmetics and combinatorics, vol. 1794

Graham, 1994

R. Hinze, Scans and convolutions: a calculational proof of Moessner’s theorem, in: S.B. Scholz (Ed.), IFL 2008 Lecture Notes in Comput. Sci., vol. 5836, Springer-Verlag (to appear), 24 pages.

Hungerford, 1980, vol. 73

Kahn, 1974, The semantics of a simple language for parallel programming, vol. 74, 471

Kim, 2008, Coinductive properties of causal maps, vol. 5140, 253

Lucanu, 2007, CIRC: A circular coinductive prover, vol. 4624, 372

R.H. Mak, Design and Performance Analysis of Data-independent Stream Processing Systems, Ph.D. Thesis, Technische Universiteit Eindhoven, 2008.

Moessner, 1952, Eine Bemerkung über die Potenzen der natürlichen Zahlen, Sitzungsber. Math.-Naturw. Kl. Bayer. Akad. Wiss. München, 1951, 29

Perron, 1952, Beweis des Moessnerschen Satzes, Sitzungsber. Math.-Naturw. Kl. Bayer. Akad. Wiss. München, 1951, 31

Rutten, 2003, Behavioural differential equations: a coinductive calculus of streams, automata, and power series, Theoret. Comput. Sci., 308, 1, 10.1016/S0304-3975(02)00895-2

Rutten, 2005, A coinductive calculus of streams, Math. Structures Comput. Sci., 15, 93, 10.1017/S0960129504004517

Rutten, 2005, A tutorial on coinductive stream calculus and signal flow graphs, Theoret. Comput. Sci., 343, 443, 10.1016/j.tcs.2005.06.019

Rutten, 2006, Algebraic specification and coalgebraic synthesis of mealy automata, vol. 160, 305

Rutten, 2008, Rational streams coalgebraically, Log. Methods Comput. Sci., 4, 1, 10.2168/LMCS-4(3:9)2008

Uustalu, 2008, Comonadic notions of computation, vol. 203(5), 263

Wilf, 1994

Thông tin
Thông tin xuất bản

Science of Computer Programming

Tập 78

2192-2215

Thông tin tác giả