and Grigore Rosu, Incompleteness of Behavioral Logics (2000)

by Samuel Buss
Venue:In Proceedings of Coalgebraic Methods in Computer Science (CMCS'00