A Study of Cost Theories for Concurrent Computation

慶應義塾大学大学院計算機科学専攻・修士論文

本論文は、並行計算におけるコスト理論の基礎を研究することを目的とし、計算におけるコストの時間的側面に焦点をあてている。まず、並行計算をラベルつき遷移システムとし、かつ、並行計算のコストをコストつき無限グラフという構造として定義している。その上で、プログラム間の様々なコストに関する順序関係と包含関係を示した。また、この関係を、様々な並行計算形式系に適用し、既一般化になることを示した。