Coinductive counting: bisimulation in enumerative combinatorics (Extended Abstract) (2002)

Cached

Download Links

by J. J. M. M. Rutten
Venue:L. MOSS (ED.), THE PROC. CMCS’02, ENTCS, VOL. 65, ELSEVIER SCIENCE B.V
Citations:1 - 1 self

Documents Related by Co-Citation

1 A logic for coalgebraic simulation, in: Horst Reichel (Ed – A Baltag - 2000
1 Report SEN-R0043, CWI, 2000. Available at URL http://www.cwi.nl. Extended abstract – F Bartels, Generalisedcoinduction - 2001
1 Combinatorial species andtree-like structures, in – F Bergeron, G Labelle, P Leroux - 1998
1 Rational series andtheir languages, in – J Berstel, C Reutenauer - 1988
1 Regular Algebra andFinite Machines – J H Conway - 1971
1 A tutorial on (co)algebras and(co)induction – B Jacobs, J Rutten - 1997
1 Concurrency andautomata on in nite sequences, in: P. Deussen (Ed – D M R Park - 1981
1 Automata andcoinduction (an exercise in coalgebra), Report SEN-R9803, CWI – J J M M Rutten - 1998
1 Relators andmetric bisimulations, in: Horst Reichel Bart – J J M M Rutten
1 Available at URL http://www.cwi.nl. Extended abstract in – J J M M Rutten, concurrency Coalgebra, andcontrol - 1999
1 Coinduction for recursive data types: partial orders, metric spaces and omega-categories – J Worrel - 2000
19 Elements of stream calculus (an extensive exercise in coinduction – J J M M Rutten - 2001
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
6 Automata, Power Series, and Coinduction: taking input derivatives seriously (Extended Abstract) – J. J. M. M. Rutten - 1999
48 Algebraic Theory of Automata – A Ginzburg - 1969
13 Bisimulation through probabilistic testing, Information and Computation 94 – K Larsen, A Skou - 1991
19 Calculus in Coinductive Form – D. Pavlovic, M.H. Escardó - 1998
29 A logic for coalgebraic simulation – Alexandru Baltag - 2000
80 Two complete axiom systems for the algebra of regular events – A Salomaa - 1966