×
赫利亚·格拉;JoséFélix科斯塔

具有无限活性要求的过程。 （英语） Zbl 1510.68058号

J.日志。阿尔盖布。程序。 82，编号3-4，137-161（2013）.
摘要：在本文中，我们开发了一个确定性过程代数，用于描述和推理无限行为系统的活跃度需求，而不是非确定性过程模型通常捕获的活跃度需求。这些活跃性要求是指流程自发参与某些操作并被动等待其他流程触发其他操作的能力。基于三个等价语义域（指称、操作和公理），为过程术语语言开发了一个语义理论。

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

进程代数;活泼;指称语义学;操作语义学
PDF格式BibTeX公司 XML格式引用
\textit{H.Guerra}和\textit{J.F.Costa}，J.Log。阿尔盖布。程序。82，编号3--4，137-161（2013；Zbl 1510.68058）
全文： 内政部

参考文献：

[2] Baeten，J.C.M。；Weijland，W.P.，《过程代数》，《剑桥理论计算机科学丛书》，第18卷（1990年），剑桥大学出版社·Zbl 0716.68002号
[3] 曼弗雷德·布罗伊；Olderog，E.-R.，面向跟踪的并发模型，（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），Elsevier Science Publishers B.V.），101-195·Zbl 1021.68040号
[6] JoséFélix科斯塔；Sernadas，Amñlcar，并发系统中的进度假设，形式方面计算。，7, 1, 18-36 (1995) ·Zbl 0817.68080号
[8] Wan Fokkink，《过程代数导论》（2000），Springer-Verlag:Springer-Verlag纽约·Zbl 0941.68087号
[9] Gorrieri，R。；Montanari，H.，《走向系统的层次规范：强前缀的证明系统》，国际。J.发现。计算。科学。，1, 3, 277-293 (1990) ·兹比尔0732.68074
[10] 赫利亚·格拉；Costa，JoséFélix，具有局部和全局活性要求的过程，J.Logic Algebraic Program。，78, 3, 117-137 (2009) ·Zbl 1169.68032号
[11] Hennessy，M.，《过程代数理论》（1988），麻省理工学院出版社·兹比尔0746.8047
[12] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号
[13] 霍普克罗夫特，J。；Motwani，R。；Ullman，J.，《自动机理论、语言和计算导论》（2001），Addison-Wesley·Zbl 0980.68066号
[16] 吕特根，G。；沃格勒，W.，逻辑LTS安全推理，理论。计算。科学。，4123337-3357（2011年）·Zbl 1216.68193号
[17] 北卡罗来纳州林奇。；Tuttle，M.R.，分布式算法的层次正确性证明，（第六届ACM分布式计算原理年会论文集（1987），ACM），137-151
[18] 北卡罗来纳州林奇。；Tuttle，M.R.，《输入/输出自动机简介》，CWI Quarterly，2，3，219-246（1989）·Zbl 0677.68067号
[19] Manna，Z。；Pnueli，A.，《无功和并发系统的时间逻辑——规范》（1992），Springer-Verlag
[20] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[21] Milner，R.，《并发系统的操作和代数语义》，《理论计算机科学手册》，第B卷（1990年），Elsevier Science Publishers B.V.，（第19章）
[23] Misra，J。；Chandy，K.，《过程网络证明》，IEEE Trans。柔和。工程师，7，4417-426（1981）·Zbl 0468.68030号
[26] Olderog，E.-R。；Hoare，C.A.R.，《通信过程的面向规范的语义》，《信息学报》。，23, 1, 9-66 (1986) ·Zbl 0569.68019号
[27] Olderog，E.R.，《网络、术语和公式》（1991），剑桥大学出版社·Zbl 0741.68002号
[28] 佩林，D。；Pin，J.-C.，无限单词。自动机，半群，逻辑和游戏，（《纯粹和应用数学》，第141卷（2003），学术出版社）
[30] 戈登·普洛金，《结构操作语义的起源》，《逻辑代数程序》。，60-61, 3-15 (2004) ·Zbl 1072.68063号
[31] 罗斯科，A.W.，《并行理论与实践》（1998），普伦蒂斯·霍尔
[32] Sernadas，A。；埃里奇，H.-D。；Costa，J.F.，《从过程到对象》，INESC J.Res.Dev.，1，1，7-27（1990）
[33] Thomas，Wolfgang，《无限对象上的自动机》（van Leeuwen，J.，《理论计算机科学手册：B卷：形式模型和语义》（1990），Elsevier），133-191，（第4章）·Zbl 0900.68316号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。