T.V.潘琴科。；叶维·伊万诺夫。；Sunmake Fabunmi公司；Skidonenko，A.V.公司。；叶·奥·特罗夫曼科。 IPCL中扩展的动态状态和实例生成模型。 （乌克兰语。英文摘要） Zbl 1413.68017号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡 2017年第4期，127-130（2017）. 摘要：考虑的运行时环境是将并发与共享内存交错。在生成新的并行程序实例并在执行完成后加入它们的工作中，引入了具有过渡系统动态的并行执行模型。启动和连接函数的语义是根据引入的动态模型定义的。推理是在Interleaving Parallel Compositional Languages（IPCL）的软件属性证明方法（包括安全性和正确性）的框架内进行的。IPCL类语言是具有共享内存体系结构（UMA和NUMA、对称多处理器处理的硬件体系结构、操作系统、数据库管理系统、集中式数据库和数据仓库、客户端-服务器软件系统的服务器部分等）的超级计算机的适当模型。这个扩展很重要，因为它允许模拟多线程程序的工作。此外，两个模型的等价性（或相互表达性）问题仍然存在，即具有固定参数数量的并行程序和生成新的程序实例，以及相应的动态状态，本文介绍了动态状态的语义。 MSC公司： 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：软件正确性；并发程序；交错；IPCL公司；合成主格语言；原子操作；过渡系统 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}等人，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4期，127--130（2017；Zbl 1413.68017）