霍爾的自動售貨機
2008-04-12 00:00:00梁竹
笑吧 2008年12期
最近重讀形式語義學六師霍爾的經典之作——《通信順序進程》，不禁又被他閑來作簡單例子的自動售貨機逗樂了。現拮取幾段摘錄如下：
注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文
最近重讀形式語義學六師霍爾的經典之作——《通信順序進程》，不禁又被他閑來作簡單例子的自動售貨機逗樂了。現拮取幾段摘錄如下：
注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文
