History monoid とは

数学とコンピュータサイエンスでは、ヒストリモノイドは、並行して動作するコンピュータプロセスの履歴を文字列の集合として表現する方法であり、各文字列はプロセスの個々の履歴を表す。履歴モノイドは、独立して実行されるプロセスまたはスレッドの集合の間にランデブーポイントを提供するための一連の同期プリミティブ(ロック、ミューテックスまたはスレッド結合など)を提供します。
ヒストリ・モノイドは、並行計算の理論に存在し、CSP、通信プロセスの言語、通信システムの計算などのプロセス計算のための低レベルの数学的基礎を提供します。ヒストリカルモノイドは、M.W.シールドによって最初に提示された。
ヒストリカルモノイドは、モノイド(自由に部分的に交換可能なモノイド)を追跡し、依存グラフのモノイドに同形である。したがって、それらは自由な対象であり、普遍的です。ヒストリ・モノイドは、モノイドのカテゴリーにおけるセミ・アーベル・カテゴリー・プロダクトの一種である。