4,510 followers S (ツイートはスレッド全体をご確認ください) @esumii っていうかMilnerもweak bisimulation up toで間違えたし(MilnerがCCS本に書いたら、unsoundであることをSangiorgiさんが指摘した https://t.co/TzXL0XHncc 22 Apr 2016 Reply Repost Favourite