Enumerative combinatorics
Rational series and their languages
Rational series and their languages
Generating functionology
Generating power of lazy semantics
Theoretical Computer Science - Special volume on computer algebra
Derivatives of Regular Expressions
Journal of the ACM (JACM)
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Concrete Math
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Category Theory and Computer Science
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Generalised coinduction
Automata and coinduction (an exercise in coalgebra)
Automata and coinduction (an exercise in coalgebra)
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract)
Elements of stream calculus (an extensive exercise in coinduction)
Elements of stream calculus (an extensive exercise in coinduction)
Coinductive counting with weighted automata
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On the bisimulation proof method
Mathematical Structures in Computer Science
Journal of Functional Programming
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Observational Coalgebras and Complete Sets of Co-operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Functional pearl: streams and unique fixed points
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
Types for Proofs and Programs
Well-Definedness of Streams by Termination
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic (TOCL)
Circular Coinduction with Special Contexts
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A coinductive calculus of binary trees
Information and Computation
Behavioural differential equations and coinduction for binary trees
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Bisimulations Generated from Corecursive Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Sampling, splitting and merging in coinductive stream calculus
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Automating coinduction with case analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Concrete stream calculus: An extended study
Journal of Functional Programming
Scans and convolutions: a calculational proof of Moessner's theorem
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Formal modeling
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A coalgebraic perspective on linear weighted automata
Information and Computation
CIA structures and the semantics of recursion
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Constraint programming on infinite data streams
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
On the final coalgebra of automatic sequences
Logic and Program Semantics
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Stream processing coalgebraically
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
We develop a coinductive calculus of streams based on the presence of a final coalgebra structure on the set of streams (infinite sequences of real numbers). The main ingredient is the notion of stream derivative, which can be used to formulate both coinductive proofs and definitions. In close analogy to classical analysis, the latter are presented as behavioural differential equations. A number of applications of the calculus are presented, including difference equations, analytical differential equations, continued fractions, and some problems from discrete mathematics and combinatorics.