A Cost Theory of Concurrent Object-based Computing

European Conference object-Oriented Programming,workshop on Object Based Concurrancy and Reuse

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