Trace theory とは

数学とコンピュータサイエンスでは、トレース理論は、並列計算とプロセス計算の研究のための具体的な数学的基礎を提供することを目指しています。基礎となるのは、自由に部分的に可換性のモノイドまたは微量モノノイド、または等価的に、自由モノノイドが形式的言語の基礎を提供する方法に類似した具体的な代数的基盤を提供する歴史モノイドの代数的定義によって提供される。
微視的理論の力は、依存グラフ(ペトリネットなど)の代数が微分単項式の同型性であることから、代数的形式的言語ツールとグラフ理論のツールの両方を適用できるという事実に起因しています。
1960年代にピエール・カルティエとドミニク・フォアタがそのコンビナトリアルについて研究したトレース・モノイドは、1970年代のアントニ・マズールキビチによって微視的な理論が初めて公式化され、同時計算の理論のいくつかの問題を回避しようと試みられた。プロセス計算上の細分化に関するインタリーブおよび非決定論的選択の問題。