马钦·斯皮尔卡；彼得·马提亚西克；奥卡先生，拉法；莱泽克·科图尔斯基 使用（alpha^{0}）系统层对Alvis语言进行形式化描述。 （英语） Zbl 1297.68172号 芬丹。通知。 129，编号1-2，161-176（2014）. Alvis是图形建模语言的组合（用于定义代理之间的互连和子系统之间的层次结构，即所谓的图形图层)，一种高级编程语言（用于定义代理的行为，即所谓的代码层)以及用于模拟和验证的工具（所谓的系统层). 本文对Alvis语言的一个子集（非层次）进行了形式化描述，称为（alpha^0），旨在对并发系统进行建模和形式化验证。审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：阿尔维斯；形式验证；Petri网；图形建模语言；并发系统；形式化方法 PDF格式BibTeX公司 XML格式引用 \textit{M.Szpyrka}等人，Fundam。通知。129，编号1--2，161--176（2014；Zbl 1297.68172） 全文： 内政部