_id,doi,title 4433,10.1007/3-540-46419-0_21,Fair bisimulation