Cost Graphs for Concurrent Calculi

RIMS Workshop

並行計算におけるコスト理論の基礎を示す。まず、各プログラムをコスト情報を含むプログラムの遷移を示すグラフの集合に変換する。その過程で、論理的な分岐も表現されている。また、そこで様々な集合間の順序関係が定義され、定義された順序関係同士は、いくつかの包含関係を形成していることが示されている。提案した関係が効率的前順序関係の一般化になっていることも示した。