科拉迪尼，F。；M.R.迪·贝拉迪尼。；沃格勒，W。 系统计算中动作的公平性。 （英语） Zbl 1097.68087号 学报信息。 43，第2期，73-130（2006）. 摘要：本文对比了并行系统计算的两个重要特征：公平性和定时性。该研究是借助于一种众所周知的过程描述语言在规范系统级别上进行的。该语言通过标签进行了扩展，允许我们筛选出那些不（弱）公平的进程执行G.科斯塔和C.斯特林《信息学报》第21期，第417–441页（1984年；Zbl 0538.68014号)和中G.科斯塔和C.斯特林，Inf.计算。73, 207–244 (1987;Zbl 0618.68026号)]，并且具有流程活动的上限[如中所示F.Corradini和W.Vogler和L.詹纳《信息学报》第38卷，第11–12期，第735–792页（2002年；Zbl 1034.68047号)]. 我们证明了公平和时机是密切相关的。陈述了两个主要结果。首先，我们证明每个永久（或非Zeno）定时流程执行都是公平的。其次，我们从定时进程执行的角度提供了非定时进程公平执行的特征描述。这导致使用正则表达式对公平执行进行有限表示。 引用于1审查引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 引文：兹伯利0538.68014；兹比尔0618.68026；Zbl 1034.68047号 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，《信息学报》第43卷第2期，第73-130页（2006年；Zbl 1097.68087） 全文： 内政部 链接 参考文献： [1] Bihler E.、Vogler W.令牌通过MUTEX溶液的效率-一些实验。收录：Desel，J.等人（编辑）《Petri网的应用和理论》，1998年，Lect。票据构成。科学。1420，第185–204页，施普林格，柏林-海德堡-纽约（1998） [2] Brookes，S.Traces，通信过程的浮夸、公平和完整抽象。位于：Concur’02，Lect。票据构成。科学。2421，第466-482页。施普林格，柏林-海德堡-纽约（2002）·Zbl 1012.68136号 [3] Corradini，F.、Di Berardini，M.R.、Vogler，W.PAFAS工作：比较三种缓冲实现的最坏情况效率。摘自：《第二届亚太质量软件会议论文集》，APAQS 2001，第231-240页，IEEE，Los Alamitos（2001） [4] Corradini，F.，Di BerardiniM，M.R.，Vogler，W.《过程代数中的公平性和时间关系》。In:Concur’03，莱克托。票据构成。科学。2761，第446–460页。施普林格，柏林-海德堡-纽约（2003）·Zbl 1273.68253号 [5] Corradini，F.、Di Berardini，M.R.、Vogler，W.系统计算中组件的公平性。摘自：2004年8月于伦敦举办的第11届并发表达能力国际研讨会，Express’04。本文的完整版本与《2005-3技术报告》的标题相同，见http://www.informatik.uni-augsburg.de/skripts/techreports网站 [6] Corradini F.、Vogler W.、Jenner L.（2002）《比较异步系统与PAFAS的最坏情况效率》。学报信息38，735–792·Zbl 1034.68047号 ·doi:10.1007/s00236-002-0094-3 [7] Costa G.，Stirling C.（1984）通信系统的公平演算。学报信息21，417–441·Zbl 0551.68020号 ·doi:10.1007/BF00271640 [8] Costa G.，Stirling C.（1987）CCS中的弱公平和强公平。Inf.计算。73, 207–244 ·兹比尔0618.68026 ·doi:10.1016/0890-5401（87）90013-7 [9] De Nicola R.，Hennessy M.C.B.（1984）《过程等效性测试》。定理。计算。科学。34, 83–133 ·Zbl 0985.68518号 ·doi:10.1016/0304-3975（84）90113-0 [10] Hoare C.A.R.（1985）《通信顺序过程》。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0637.68007号 [11] Jenner，L.，Vogler，W.比较异步系统的效率。摘自：《AMAST实时和概率系统研讨会论文集》，LNCS 1601，第172-191页（1999年）。将完整版本修改为[6] [12] Jenner L.，Vogler W.（2001）密集时间内的快速异步系统。定理。计算。科学。254, 379–422 ·Zbl 0974.68128号 ·doi:10.1016/S0304-3975（99）00304-7 [13] Lynch N.（1996）分布式算法。Morgan Kaufmann，旧金山·Zbl 0877.68061号 [14] Milner R.（1989）《沟通与并发》。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0683.68008号 [15] Vogler，W.在petri网中异步系统和读取弧的效率。收录：1997年伊卡普，莱克特。票据构成。科学。1256年，第538–548页，施普林格，柏林-海德堡-纽约（1997）·兹比尔1401.68235 [16] Vogler W.（2002）异步系统的效率、读弧和MUTEX问题。定理。计算。科学。275, 589–631 ·Zbl 1026.68099号 ·doi:10.1016/S0304-3975（01）00300-0 [17] Vogler，W.petri网的模块化结构和偏序语义。莱克特。票据构成。科学。纽约州柏林-海德堡市施普林格625号（1992年）·Zbl 1293.68015号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。