A proof of Moessner's theorem by coinduction

DOI10.1007/S10990-012-9082-7zbMath1256.68120OpenAlexW2121484930MaRDI QIDQ1929334

Jan J. M. M. Rutten, Milad Niqui

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-012-9082-7

zbMATH Keywords

streamcoalgebracoinductionMoessner's theoremstream bisimulationstream calculusstream differential equation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mechanization of proofs and logical operations (03B35)

Related Items (5)

Unnamed Item ⋮ Newton series, coinductively: a comparative study of composition ⋮ Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} ⋮ A characterization of Moessner's sieve ⋮ Bisimulation and coinduction enhancements: a historical perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal coalgebra: A theory of systems
• Concrete stream calculus: An extended study
• Sampling, Splitting and Merging in Coinductive Stream Calculus
• A coinductive calculus of streams

This page was built for publication: A proof of Moessner's theorem by coinduction