\begin{thebibliography}{10}

\bibitem{modelcheck}
東恩納琢偉，奥田光希，河野真治(琉球大学)\：Gears
  OSでモデル検査を実現する手法について，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
  (2020).

\bibitem{cbcllvm}
並列信頼研究室\：CbC, http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/.

\bibitem{cbc}
河野真治\：継続を持つCの下位言語によるシステム記述，日本ソフトウェア科学会第17回大会論文集 (2000).

\bibitem{gears}
清水隆博\：GearsOSのメタ計算，修士 (工学) 学位論文 (2021).

\bibitem{gearsos}
並列信頼研究室\：GearsOS, http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/.

\bibitem{cr}
伊波立樹\：GearsOSの並列処理，修士 (工学) 学位論文 (2018).

\bibitem{directory}
又吉雄斗，河野真治(琉球大学)\：GearsOSにおけるinodeを用いたファイルシステムの構築 (2022).

\bibitem{file}
河野~真治(琉球大学)一木~貴裕\：GearsOSの分散ファイルシステムの設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
  (2021).

\bibitem{cfile}
一木貴裕\：GearsOSの分散ファイルシステム設計，修士 (工学) 学位論文 (2022).

\bibitem{xv6kernel}
河野 真治~(琉球大学工学部情報工学科)坂本 昂弘~(琉球大学工学部情報工学科)\：継続を用いた xv6
  kernel
  の書き換え，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
  (2019).

\bibitem{xv6component}
清水隆博，河野真治(琉球大学)\：xv6の構成要素の継続の分析，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
  (2020).

\bibitem{xv6}
{Russ Cox, Frans Kaashoek, Robert Morris}: xv6 a simple, Unix-like teaching
  operating system, https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf.

\bibitem{christie}
{河野 真治}\：分散フレームワーク Christie と分散木構造データベースJungle
  (2018).

\end{thebibliography}