卢卡·卡德利；菲利普·加德纳 空间中的进程。 （英语） Zbl 1286.68345号 Ferreira，Fernando（编辑）等人，《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议，CiE 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13961-1/pbk）。计算机科学课堂讲稿615878-87（2010）。 摘要：我们介绍了一种基于仿射几何的几何过程代数，目的是描述三维空间中几何结构的并发演化。我们证明了一个相对论定理，说明代数方程在刚体变换下是不变的。关于整个系列，请参见[Zbl 1192.68009号]. 引用于10文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 51N10号 仿射解析几何 68单位05 计算机图形；计算几何（数字和算法方面） 关键词：进程代数；仿射几何 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner}，莱克特。注释计算。科学。6158，78-87（2010年；Zbl 1286.68345） 全文： 内政部