• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2016 年度 研究成果報告書

並行性の準等式系

研究課題

  • PDF
研究課題/領域番号 25330016
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 情報学基礎理論
研究機関鹿児島大学

研究代表者

古澤 仁  鹿児島大学, 理工学域理学系, 教授 (00357930)

研究協力者 Struth Georg  The University of Sheffield, Department of Computer Science, Professor
研究期間 (年度) 2013-04-01 – 2017-03-31
キーワード並行計算 / 準等式系 / 動的論理
研究成果の概要

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

自由記述の分野

情報学基礎理論

URL: 

公開日: 2018-03-22  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi