×
Janicki，Ryszard

具有优先级关系的并发系统的形式化语义。 （英语） Zbl 0589.68021号

学报信息。 24, 33-55 (1987).
提出了具有优先级关系的COSY路径表达式的形式化语义。事实证明，在一般情况下，由此类表达式指定的系统行为的所有方面都无法通过向量触发序列建模（对于没有优先级的情况，这是一种标准语义），尽管向量触发序列（但没有解释为因果关系）可以对具有优先级的表达式进行正确扩展，并且可以根据向量触发序列定义行为的某些（但不是所有）方面，如无死锁和充分性属性。为了完整地描述COSY优先路径表达式的行为，引入了一种新的语义，称为多重触发序列语义，并证明了它的一些性质。

引用于8文件

MSC公司：

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

关键词：

并发系统;COSY路径表达式;优先权关系;语义学;死锁-自由;矢量触发序列

软件：

路径帕斯卡;舒适的
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}，Acta Inf.24，33--55（1987；Zbl 0589.68021）
全文： 内政部

参考文献：

[1] Best，E.：路径程序的充分性。西奥。计算。科学。18, 149-171 (1982) ·Zbl 0478.68015号 ·doi:10.1016/0304-3975（82）90020-2
[2] 坎贝尔，R.H.：路径表达式：一种过程同步技术。1976年泰恩河畔纽卡斯尔大学博士论文
[3] Campbell，R.H.，Haberman，A.N.：通过路径表达式实现过程同步的规范。勒克特。注释计算。科学。，第16卷，第89-102页。柏林，海德堡，纽约：施普林格1974
[4] Campbell，R.H.，Kolstad，R.B.：Pascal中的路径表达式。公司部门。科学。，伊利诺伊大学香槟分校，伊利诺伊州乌尔巴纳市，1979年
[5] Courtois，P.J.，Heymans，F.，Parnas，D.L.：与？并行控制？读者？还有？作家？。CACM 14，667-678（1971）
[6] Holt，A.W.（编辑）：信息系统理论项目。最终报告。RADC-TR-68-305，应用数据研究公司，新泽西州普林斯顿，1968年
[7] Janicki，R.：路径表达系统的等价概念。Elektron公司。Informationsverarbeitungs-Kybernetik《信息》21、283-295（1985）·Zbl 0573.68028号
[8] Janicki，R.：具有优先级关系的并发系统的形式语义（第1版）。报告R 84-16，奥尔堡大学中心电子系统研究所，1984年·Zbl 0538.68015号
[9] Janicki，R.，Lauer，P.，Devillers，R.：非序列系统的最大并发进化。勒克特。注释计算。科学。，第197卷，第268-280页。柏林，海德堡，纽约：施普林格1985·Zbl 0565.68020号
[10] Lauer，P.E.，Campbell，R.H.：用于协调并发进程的一类高级原语的形式语义。《学报》第5期，第237-332页（1975年）·Zbl 0312.68012号 ·doi:10.1007/BF00264564
[11] Lauer，P.，Shields，M.W.：资源访问规程的抽象规范：充分性、饥饿、优先级和中断。SIGPLAN通知，第13卷，第12期，第41-59页。ACM出版社1978
[12] Lauer，P.，Shields，M.W.，Cotronis，J.Y.：没有全局性假设的并发系统的形式行为规范。勒克特。注释计算。科学。，第107卷，第115-151页。柏林，海德堡，纽约：施普林格1981·Zbl 0481.68012号
[13] Lauer，P.，Torrigiani，P.R.，Devillers，R.：成本银行家。勒克特。注释计算。科学。，第83卷，第223-239页。柏林，海德堡，纽约：施普林格1980·Zbl 0435.68027号
[14] Lauer，P.，Torrigiani，P.R.，Shields，M.W.：COSY：基于路径表达式的系统规范语言。《学报》第12期，第109-158页（1979年）·Zbl 0403.68031号 ·doi:10.1007/BF00266047
[15] Milner，R.：同步和异步的计算。西奥。计算。科学。25, 267-310 (1983) ·Zbl 0512.68026号 ·doi:10.1016/0304-3975（83）90114-7
[16] Okulicka，F.：关于优先级和非优先级路径表达式。558号报告，Comp.Inst。科学。，波兰科学院，华沙，1985·Zbl 0568.68019号
[17] 佩特里，C.A.：异步信息流理论基础。62年IFIP大会会议记录。阿姆斯特丹：北荷兰1962·兹伯利0146.14404
[18] Reisig，W.：Petri Nets。柏林，海德堡，纽约：施普林格1984·Zbl 0521.68057号
[19] Reisig，W.：什么操作语义适合非连续系统？1984年赫尔辛基理工大学数字系统实验室B.30报告
[20] Rozenberg，G.，Verraedt，R.：Petri网的子集语言。Informatik-Fachberichte，第66卷，第250-263页。柏林，海德堡，纽约：施普林格1983·Zbl 0521.68089号
[21] Shields，M.W.：适当的路径表达式。勒克特。注释计算。科学。，第70卷，第249-265页。柏林，海德堡，纽约：施普林格1979·Zbl 0429.68058号
[22] Shields，M.W.：关于处理广义自由选择属性的系统的非顺序行为。内部报告CRS-92-81，公司部门。科学。爱丁堡大学1981
[23] Shields，M.W.：非连续行为。勒克特。注释计算。科学。，第167卷，第229-239页。柏林-海德堡，纽约：施普林格1984·Zbl 0562.68061号
[24] Szpilrajn，E.：超l'erdre偏导数。芬丹。数学。16, 386-389 (1930)
[25] Yoeli，M.，Etzion，T.：并发系统的行为等效性。Informatik-Fachberichte，第66卷，第292-305页。柏林，海德堡，纽约：施普林格1983·Zbl 0521.68060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。