A logic for coalgebraic simulation (2000)

by Alexandru Baltag
Venue:Proceedings of Coalgebraic Methods in Computer Science (CMCS’00), volume 33 of Electronic Notes in Theoretical Computer Science