A logic for coalgebraic simulation (2000)

by A Baltag
Venue:Electron. Notes Theor. Comput. Sci