From T-Coalgebras to Filter Structures and Transition Systems
Author:
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 194-212
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A final coalgebra theorem2005
- Coalgebras of bounded typeMathematical Structures in Computer Science, 2002
- The temporal logic of coalgebras via Galois algebrasMathematical Structures in Computer Science, 2002
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Implementing collection classes with monadsMathematical Structures in Computer Science, 1998
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993