950 followers
次はG. Parlatoさんのところの,Cseqの最新作の話でした:https://t.co/oT5ji9SSm2 Cseqはconcurrentなプログラムを,「非決定的なsequential」プログラムに変換・検証するツールですけど,ちょっと拡張したんで✋という話です
次はG. Parlatoさんのところの,Cseqの最新作の話でした:https://t.co/oT5ji9SSm2 Cseqはconcurrentなプログラムを,「非決定的なsequential」プログラムに変換・検証するツールですけど,ちょっと拡張したんで✋という話です