Elements of stream calculus (2001)

Cached

Download Links

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

Documents Related by Co-Citation

1 High-Level Circuit Design – Eric C. R. Hehner, Theodore S. Norvell, Richard F. Paige
2 Finite circuits are characterized by 2-algebraic truth tables – J Vuillemin - 1961
1 Digital algebra and circuits – Jean Vuillemin - 2003
1 Automata and coinduction – J J M M Rutten - 1998
1 power series, and coinduction – Automata - 1999
1 Behavioural differential equations – J J M M Rutten - 2003
23 On circuits and numbers – Jean Vuillemin, Jean Vuillemin - 1994
100 From regular expressions to deterministic automata – G Berry, R Sethi - 1986
10 Derivatives of rational expressions with multiplicity – S Lombardy, J Sakarovitch - 2005
5 A Coalgebraic Approach to Kleene Algebra with Tests – Hubie Chen, Riccardo Pucella - 2003
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
280 Switching and Finite Automata Theory – Z Kohavi - 1978
159 Rational Series and Their Languages – Jean Berstel, Christophe Reutenauer - 1988
187 p-adic numbers, p-adic analysis, and zeta-functions. Second edition – N Koblitz - 1984
275 Regular Algebra and Finite Machines – J H Conway - 1971
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
185 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
23 Higher Order Logic and Hardware Verification – T F Melham - 1993