具有分子动力学特征的线程演算

我们提出了一种线程理论，涵盖线程的交错以及线程与服务之间的交互，并引入了分子动力学的特征；这是一种涉及动态数据结构的计算模型。线程可以与状态由结构化数据对象组成的服务进行交互，计算通过可能改变数据对象结构的动作进行。引入的特征包括限制线程中用于引用数据对象的名称的作用域。由于该特征使得基于结构操作语义和双模拟提供模型变得困难，我们为该理论构建了一个射影极限模型。