计算机科学中高维类别的同伦不变量和并发性 电子书下载

原名:Homotopy invariants of higher dimensional categories and concurrency in computer science
作品简介:并发自动机中执行路径的同伦，以改进 Goubault (1995) 的同调方法。在计算机科学框架中开发代数拓扑的类似物。我们将构建包含有关并发几何的相关信息。……