142
click to vote
FOSSACS
2010
Springer
16 years 17 min ago
2010
Springer
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 in...