研究課題
基盤研究(C)
並行計算の二項多重関係モデルや代数モデルに関して次のような成果を得た.(1)完備べき等左半環をある集合上の二項多重関係全体のなす完備べき等左半環へ自然に埋め込むための十分条件,(2)Pelegの並行動的論理の様相クリーニ代数的な文脈における再構成,(3)領域演算子の明示的な代数的定義および逐次合成に関する部分単位のクラス,並行合成に関する部分単位のクラス,停止元のクラス,非停止元のクラスの関連性,(4)Pelegの逐次合成が結合的になるための十分条件
情報学基礎理論