追踪理论

在数学和计算机科学中，追踪理论旨在为并发计算和过程计算的研究提供一个具体的数学基础。这个基础是由自由部分交换单体或轨迹单体的代数定义提供的，或者说，历史单体，它提供了一个具体的代数基础，类似于自由单体为形式语言提供基础的方式。痕量理论的力量源于这样一个事实：依赖图（如Petri网）的代数与痕量单体的代数同构，因此，人们可以同时应用代数形式语言工具和图论的工具。

虽然痕量单体在20世纪60年代已经被PierreCartier和DominiqueFoata研究过它的组合学，但痕量理论是由AntoniMazurkiewicz在20世纪70年代首次提出的，试图回避并发计算理论中的一些问题，包括交织和非确定性选择与过程计算的细化问题。