2016 年度研究成果報告書

並行性の準等式系

研究課題

研究課題/領域番号	25330016
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
研究分野	情報学基礎理論
研究機関	鹿児島大学
研究代表者	古澤仁鹿児島大学, 理工学域理学系, 教授 (00357930)
研究協力者	Struth Georg The University of Sheffield, Department of Computer Science, Professor
研究期間 (年度)	2013-04-01 – 2017-03-31
キーワード	並行計算 / 準等式系 / 動的論理
研究成果の概要	並行計算の二項多重関係モデルや代数モデルに関して次のような成果を得た．（１）完備べき等左半環をある集合上の二項多重関係全体のなす完備べき等左半環へ自然に埋め込むための十分条件，（２）Pelegの並行動的論理の様相クリーニ代数的な文脈における再構成，（３）領域演算子の明示的な代数的定義および逐次合成に関する部分単位のクラス，並行合成に関する部分単位のクラス，停止元のクラス，非停止元のクラスの関連性，（４）Pelegの逐次合成が結合的になるための十分条件
自由記述の分野	情報学基礎理論