追踪理论

什么是追踪理论在数学和计算机科学中，追踪理论旨在为并发计算和过程计算的研究提供一个具体的数学基础。这个基础是由自由部分交换单体或轨迹单体的代数定义...