佔位

今天到圖書館借 Robin Milner（談 CCS）的《Communication and Concurrency》。簡單翻一翻，感覺是 pi-Calculus 的 subset。然後突然覺得這樣似乎跟 Hoare 的 CSP 沒什麼差別，所以就順便借 CSP 回去。想用圖書館電腦查索書號，可是所有電腦（又）都被佔住了。最後想反正就是 QA76.6 或 QA267 之類的，直接找就好了 XD。

--
佔住公用電腦做其他事是不好的行為喔 XD。