45 citations · 237 across the 53 of their papers we have counts for
1 paper · 2 filters
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a fini…