Browse Dept. of Computer Science by Series/Report "LNCS 6014"
Now showing items 1-1 of 1
(2010-01-28)We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building incrementally an a priori unknown bisimulation, ...