The semantics of reduction

簡約意味論 (本田耕平・吉田展子)

簡約は計算のステップを表現する点で重要であるにもかかわらず、従来の並行 プロセス計算ではこの概念を用いた意味論がありませんでした。この研究では 「プロセスが等しいかどうか」という判断に簡約閉包という定式化を用いて等 価則の基礎を与えることで、並行計算一般に適用される意味論とは何かを広く 考えることを主眼にしています。