A coinductive calculus of streams (2005)

by J. J. M. M. Rutten
Citations:27 - 9 self

Documents Related by Co-Citation

112 Automatic Sequences: Theory, Applications, Generalizations – J P Allouche, J Shallit - 2003
145 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
161 Rational series and their languages – J Berstel, C Reutenauer - 1988
8 The Algebra of Stream Processing Functions – Manfred Broy, Gheorghe Stefanescu - 1996
786 The semantics of a simple language for parallel programming – G Kahn - 1974
59 The ubiquitous Prouhet-Thue-Morse sequence – Jean-Paul Allouche, Jeffrey Shallit - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
4 The Role of Agent Interaction in Models of Computing: Panelist Reviews – Peter Wegner, Farhad Arbab, Dina Goldin, Peter McBurney, Michael Luck, Dave Robertson - 2005
69 Modeling Concurrent Real-Time Processes Using Discrete Events – Edward A Lee - 1999
159 Concurrent Object-Oriented Programming – G Agha - 1990
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
161 Discrete event systems: Modeling and performance analysis – C G Cassandras - 1993
85 Hybrid dynamical systems theory and the SIGNAL language – A Benveniste, P Le Guernic - 1990
44 Interaction semantics for components of distributed systems – C L Talcott - 1996
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
152 First Version of a Data Flow Procedure Language – J B Dennis - 1974
488 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
369 The synchronous approach to reactive and real-time systems – Albert Benveniste, Gerard Berry - 1991