Behavioural differential equations: a coinductive calculus of streams, automata, and power series
暂无分享,去创建一个
[1] Jan J. M. M. Rutten. Relators and Metric Bisimulations , 1998, CMCS.
[2] W. J. Thron,et al. Encyclopedia of Mathematics and its Applications. , 1982 .
[3] J. Gunawardena,et al. Idempotency: List of Participants , 1998 .
[4] Alexandru Baltag,et al. A Logic for Coalgebraic Simulation , 2000, CMCS.
[5] A. Joyal. Une théorie combinatoire des séries formelles , 1981 .
[6] Gilbert Labelle,et al. Combinatorial species and tree-like structures , 1997, Encyclopedia of mathematics and its applications.
[7] J. Mairesse,et al. Idempotency: Task resource models and (max, +) automata , 1998 .
[8] James Worrell,et al. Coinduction for recursive data types: partial orders, metric spaces and Omega-categories , 2000, CMCS.
[9] W. Hayman. A power series , 1967 .
[10] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[11] Jan Rutten. Coinductive Counting: Bisimulation in Enumerative Combinatorics , 2002, CMCS.
[12] Jan J. M. M. Rutten,et al. Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously , 1999, ICALP.
[13] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[14] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[15] Arto Salomaa,et al. Two Complete Axiom Systems for the Algebra of Regular Events , 1966, JACM.
[16] Berndt Farwer,et al. ω-automata , 2002 .
[17] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.
[18] H. Swinnerton-Dyer. Publications of the Newton Institute , 1993 .
[19] J. Rutten. Coalgebra, concurrency, and control , 1999 .
[20] B. Jacobs,et al. A tutorial on (co)algebras and (co)induction , 1997 .
[21] Erik P. de Vink,et al. Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach , 1997, Theor. Comput. Sci..
[22] Falk Bartels,et al. Generalised coinduction , 2003, Mathematical Structures in Computer Science.
[23] H. C. Tijms,et al. Teletraffic analysis and computer performance evaluation : proceedings of the international seminar held at the Centre for Mathematics and Computer Science (CWI), June 2-6, 1986, Amsterdam, The Netherlands , 1986 .
[24] J. Davenport. Editor , 1960 .
[25] Martín Hötzel Escardó,et al. Calculus in coinductive form , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[26] M. Dal Cin,et al. The Algebraic Theory of Automata , 1980 .
[27] M. Douglas McIlroy,et al. Power series, power serious , 1999, Journal of Functional Programming.
[28] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[29] Joseph A. Goguen,et al. Realization is universal , 1972, Mathematical systems theory.
[30] J. Conway. Regular algebra and finite machines , 1971 .
[31] Jan J. M. M. Rutten,et al. Automata and Coinduction (An Exercise in Coalgebra) , 1998, CONCUR.
[32] Jan J. M. M. Rutten. Elements of Stream Calculus (An Extensive Exercise in Coinduction) , 2001, MFPS.
[33] Jean Berstel,et al. Rational series and their languages , 1988, EATCS monographs on theoretical computer science.
[34] Janusz A. Brzozowski,et al. Derivatives of Regular Expressions , 1964, JACM.