A coinductive calculus of streams (2005)

by J. J. M. M. Rutten
Citations:39 - 12 self

Documents Related by Co-Citation

869 The semantics of a simple language for parallel programming – G Kahn - 1974
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
120 Automatic Sequences: Theory, Applications, Generalizations – J-P Allouche, J Shallit - 2003
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
864 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
519 Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems – Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt - 1992
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990