Automata and coinduction (an exercise in coalgebra)
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 194-218
- https://doi.org/10.1007/bfb0055624
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A final coalgebra theoremPublished by Springer Nature ,2005
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular EventsInformation and Computation, 1994
- Comparative semantics for flow of control in logic programming without logicInformation and Computation, 1991
- From regular expressions to deterministic automataTheoretical Computer Science, 1986
- Realization is universalTheory of Computing Systems, 1972
- Derivatives of Regular ExpressionsJournal of the ACM, 1964
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959
- Linear Automaton TransformationsProceedings of the American Mathematical Society, 1958
- Representation of Events in Nerve Nets and Finite AutomataPublished by Walter de Gruyter GmbH ,1956