×
Marta Z.Kwiatkowska。

事件公平性和不干涉并发性。 （英语） Zbl 0696.68092号

形式方面计算。 1，第3期，213-228（1989）.

引用于15文件

MSC公司：

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

关键词：

并发公平性;并发模型;非干涉语义;部分顺序语义
PDF格式BibTeX公司 XML格式引用
\textit｛M.Z.Kwiatkowska｝，正式Asp。计算。1，第3号，213--228（1989；Zbl 0696.68092）
全文： 内政部

参考文献：

[1] Apt，K.R.、Francez，N.和Katz，S.：评估分布式编程语言的公平性，Proc。第14届ACM交响乐团。《程序设计语言原理》，1987年·Zbl 0659.68023号
[2] Bednarczyk，M.A.：异步系统的分类，博士论文，苏塞克斯大学，1987年。
[3] 贝斯特：公平与阴谋。信息处理快报，18，215–220 1984年·Zbl 0558.68052号 ·doi:10.1016/0020-0190（84）90114-5
[4] Best，E.：勘误表。《信息处理快报》，1984年第19、162页·doi:10.1016/0020-0190（84）90097-8
[5] Boudol，G.和Castellani，I.：转换的排列：CCS和SCCS的事件结构语义。收录于：《逻辑与并发模型中的线性时间、分支时间和偏序》，J.W.de Bakker、W.-P.de Roever和G.Rozenberg（编辑），第411-427页，LNCS 354，Springer-Verlag，1989年。
[6] Boasson，L.和Nivat，M.：《语言的坚持》，《计算机与系统科学杂志》，1980年第20期，第285-309页·Zbl 0471.68052号 ·doi:10.1016/0022-0000（80）90010-0
[7] 科斯塔·G和斯特林·C：CCS中的弱公平和强公平。《信息与计算》73，207–244（1987）·兹比尔0618.68026 ·doi:10.1016/0890-5401（87）90013-7
[8] Francez，N.：《公平》，纽约斯普林格-弗拉格出版社，1986年。
[9] Kwiatkowska，M.Z.：使用模糊异步转换系统建模并发，第9号技术报告，莱斯特大学计算研究系，1988年。
[10] Kwiatkowska，M.Z.：《异步转换系统中的事件公平性》，《第10号技术报告》，莱斯特大学计算研究系，1988年。
[11] Kwiatkowska，M.Z.：《公平观念调查》，发表于《信息与软件技术》。也可作为1988年莱斯特大学计算研究系第14号技术报告查阅。
[12] Kwiatkowska，M.Z.：《公平与非交叉并行》，莱斯特大学博士论文，1989年。也可参见1989年莱斯特大学计算研究系第22号技术报告·Zbl 0696.68092号
[13] Lehmann，D.、Pnueli，A.和Stavi，J.：公正、正义和公平：同时终止的伦理。In：程序。第八届ICALP，S.Even和O.Kariv（编辑），第264-277页，LNCS 115，Springer-Verlag，1981年·Zbl 0468.68026号
[14] Mazurkiewicz，A.：并行程序方案及其解释，DAIMI代表PB-78，奥胡斯大学，1977年。
[15] Park，D.：《公平并行的语义》，摘自：《抽象软件规范》，Proc。1979年，D.Bjorner（编辑），LNCS 86，施普林格出版社，1980年。
[16] Plotkin，G.：可数不确定性的功率域，inProc。第九届ICALP，第418–428页，LNCS 140，施普林格-弗拉格出版社，1982年。
[17] Pnueli，A.：时间逻辑在无功系统规范和验证中的应用：当前趋势调查。InCurrent Trends in Concurrency，J.W.de Bakker、W.-P.Roever和G.Rozenberg（编辑），第510-584页，LNCS 224，Springer-Verlag，1986年·Zbl 0607.68022号
[18] Reisig，W.：类CSP语言的部分顺序语义与交错语义及其对公平性的影响。In：程序。第11届ICALP，L.Paradaens（编辑），第403-413页，LNCS 172，斯普林格-Verlag，1984年·Zbl 0597.68019号
[19] Rozenberg，G.和Thiagarajan，P.S.：Petri网：基本概念，结构，行为。在《当前并发趋势》中，J.W.de Bakker、W.-P.de Roever和G.Rozenberg（编辑），第585–668页，LNCS 224，Springer Verlag，1986年。
[20] Shields，M.W.：确定性异步自动机。In：编程中的形式方法。北荷兰，1985年·Zbl 0571.68040号
[21] 希尔兹，M.W.：《平行理论的要素》，即将出版·Zbl 0638.68054号
[22] Shields，M.W.：私人通信，1988年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。