Incompleteness of behavioural logics (2000)

by Samuel Buss, Grigore Rosu
Venue:Coalgebraic Methods in Computer Science