A coinductive calculus of streams
From MaRDI portal
Publication:4657752
DOI10.1017/S0960129504004517zbMath1068.68061MaRDI QIDQ4657752
Publication date: 14 March 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
Complete sets of cooperations, Coalgebras in functional programming and type theory, CPO semantics of timed interactive actor networks, A coinductive calculus of binary trees, Semantics for finite delay, Concrete stream calculus: An extended study, Well-Definedness of Streams by Termination, Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme