Elements of stream calculus (2001)

Cached

Download Links

by J. J. M. M. Rutten
Venue:In MFPS 2001, ENTCS 45
Citations:1 - 1 self

Active Bibliography

27 A coinductive calculus of streams – J. J. M. M. Rutten - 2005
4 Coinductive Counting With Weighted Automata – J. J. M. M. Rutten - 2002
16 Generalised Coinduction – Falk Bartels - 2001
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
Stream Differential Equations: concrete formats for coinductive definitions – Clemens Kupke, Milad Niqui, Jan Rutten - 2011
Coinductive Proof Techniques for Language Equivalence – Jurriaan Rot, Marcello Bonsangue, Jan Rutten
81 Abstract behavior types: A foundation model for components and their composition – Farhad Arbab - 2003
1 Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Report SEN-R0129, CWI, 2001. Available at URL http://www.cwi.nl. Also in – J. J. M. M. Rutten - 2002
Coalgebraic Bisimulation-up-to Jurriaan Rot 1,2 ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3 – Centrum Wiskunde En Informatica
2 Coalgebra, Concurrency, and Control – J. J. M. M. Rutten - 1999
10 A Kleene theorem for polynomial coalgebras – Marcello Bonsangue, Jan Rutten, Ra Silva - 2009
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
A single complete relational rule for coalgebraic refinement – César J. Rodrigues, J. N. Oliveira, Luis S. Barbosa - 2009
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004