洛科·德尼古拉;米歇尔·洛雷蒂 标称计算及其逻辑的多重标记转换系统。 (英语) Zbl 1141.68047号 数学。结构。计算。科学。 18,第1期,107-143(2008). 摘要:动作标记转换系统(Action-Labeled Transition Systems,LTS)已被证明是描述和证明并发系统属性的基本模型。在本文中,我们介绍了多标签转换系统(MLTS)作为LTS的概括,使我们能够处理在考虑网络感知编程的语言和模型时变得越来越重要的系统特征。MLTS使我们不仅能够描述系统可以执行的操作,还能够描述系统对资源的使用及其对名称的处理(创建、揭示……);这些对于模拟不断变化的评估环境至关重要。我们还介绍了MoMo,这是一种受Hennessy-Milner logic和\(\mu\)-演算启发的逻辑,它使我们能够考虑分布式环境中的状态属性以及不同站点上的动作和移动的影响。MoMo操作符在MLTS上解释,MLTS和MoMo都用于提供一个语义框架来描述移动计算的两个基本计算,即Klaim和异步pi演算。 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 03B70号 计算机科学中的逻辑 关键词:\(\mu\)克莱姆;异步\(\pi\)-演算 软件:MoMo公司 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.Loreti},数学。结构。计算。科学。18,第1号,107--143(2008;Zbl 1141.68047) 全文: 内政部 参考文献: [1] 内政部:10.1006/inco.2001.3089·Zbl 1009.68081号 ·doi:10.1006/inco.2001.3089 [2] 本田,Springer-Verlag计算机科学讲稿512 pp 133–(1991)·doi:10.1007/BFb0057019 [3] Gelernter,Springer-Verlag计算机科学讲稿366 pp 20–(1989)·doi:10.1007/3-540-51285-3_30 [4] 内政部:10.1145/2363.2433·Zbl 0559.68030号 ·数字对象标识代码:10.1145/2363.2433 [5] DOI:10.1016/j.ic.2004.11.005·Zbl 1101.68060号 ·doi:10.1016/j.ic.2004.11.005 [6] Fournet,Springer-Verlag计算机科学讲稿1119 pp 406–(1996)·doi:10.1007/3-540-61604-7_67 [7] 内政部:10.1145/63334.63337·数字对象标识代码:10.1145/63334.63337 [8] DOI:10.1023/A:1014530313153·Zbl 1034.68600号 ·doi:10.1023/A:1014530313153 [9] De Nicola,Springer-Verlag计算机科学讲稿3657 pp 95–(2005)·doi:10.1007/11561163_5 [10] DOI:10.1016/S0304-3975(99)00231-5·Zbl 0954.68108号 ·doi:10.1016/S0304-3975(99)00231-5 [11] 内政部:10.1109/32.685256·doi:10.1109/32.685256 [12] Caires,Springer-Verlag计算机科学讲座笔记2987 pp 72–(2004)·doi:10.1007/978-3-540-24727-27 [13] 内政部:10.1006/inco.1996.0072·Zbl 0864.68036号 ·doi:10.1006/inco.1996.0072 [14] Boreale,Springer-Verlag计算机科学讲稿4184 pp 38–(2006)·doi:10.1007/11841197_3 [15] Bettini,Springer-Verlag计算机科学课堂讲稿2874 pp 88–(2003)·doi:10.1007/978-3-540-40042-44 [16] DOI:10.1016/S0304-3975(97)00223-5·Zbl 0915.68009号 ·doi:10.1016/S0304-3975(97)00223-5 [17] 内政部:10.1016/0304-3975(93)90156-N·Zbl 0778.68033号 ·doi:10.1016/0304-3975(93)90156-N [18] 内政部:10.1109/32.666824·doi:10.1109/32.666824 [19] 内政部:10.1145/2455.2460·Zbl 0629.68021号 ·doi:10.1145/2455.2460 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。