The temporal logic of coalgebras via galois algebras (2002)

by B Jacobs
Venue:Mathematical. Structures in Comp. Sci