形式手法特論：位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th - Speaker Deck

https://ricapitolare.vercel.app/svg?url=https://speakerdeck.com/ytaka23/kernel-vm-study-tokyo-18th#.svg https://speakerdeck.com/ytaka23/kernel-vm-study-tokyo-18th