路德威克·查贾 因果结构。带有应用示例的网络代数。 （英语） Zbl 1435.68009号 网络与系统课程讲稿45.查姆：施普林格（ISBN 978-3-030-20460-0/pbk；978-3-0.30-20461-7/电子书）。十七、142页。(2019). 本书提出了一个新的代数系统，其解释与Petri网的行为一致，并通过抑制机制和四时间模型进行了增强。其目标是在以并行执行动作为特征的上下文中，提供建模动态任务以及测试和验证属性的正式方法。然而，任务描述不同于Petri网。代数是一个拟镜像，因为它的分配公理有点受限。该代数的表达式，即因果结构，以网络的形式进行图形表示，但具有一种命名节点，每个节点都由两个表达式进行注释，这两个表达式指定了前辈的信号接收类型和后辈的信号传输类型。许多结构和行为属性都通过证明进行了说明，并包括示例任务。本书面向所有对并行和分布式计算感兴趣或参与其中的人，包括学生、研究人员和从业者。审核人：Tiit Riismaa（塔林） MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：网代数;因果结构;Petri网 软件：occam-pi型 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja}，因果结构。带有应用示例的网络代数。查姆：施普林格（2019；Zbl 1435.68009） 全文： 内政部