×
费利卡·奥库利卡

关于COSY中的优先级。 （英语） 兹比尔0701.68026

西奥。计算。科学。 74，第2期，199-216（1990）.
摘要：我们为具有优先级关系的COSY路径表达式提供了两种语义：第一种是由M.W.护罩【Lect.Notes Compute.Sci.70，249-265（1979；兹比尔0429.68058)]另一个通过R.Janicki公司[具有优先级关系的并发系统的形式语义，奥尔堡大学电子系统研究所报告R 84-16（1984）]。证明了二者的分解定理。提出了一种新的优先级路径的形式语义。它基于优先级关系的分解。

引用于2文件

MSC公司：

第68季度10 计算模式（非确定性、并行、交互式、概率性等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题55 计算理论中的语义学

关键词：

并发程序的验证；并发系统；规格；语义学

引文：

Zbl 0429.68058号

软件：

舒适的
PDF格式BibTeX公司 XML格式引用
\文本{F.Okulicka}，Theor。计算。科学。74，第2号，199--216（1990；Zbl 0701.68026）
全文： DOI程序

参考文献：

[1] 阿诺德，A。；Nivat，M.，《系统的控制行为：一些基本概念和一些应用》（Dembinski，P.，《计算机科学的数学基础》，计算机科学数学基础，计算机科学讲义，88（1980），Springer:Springer-Blin），113-122·Zbl 0445.68043号
[2] H.D.Burkhard，在Petri网中命令射击，J.Inform。过程。网络。，17, 71-86 (1981) ·Zbl 0535.68029号
[3] Burkhard，H.-D.，用有限自动机控制Petri网，（预印本第26号（1982），柏林洪堡大学，Sektion Mathematik）·Zbl 0531.68014号
[4] Burkhard，H.-D.，《基于抽象控制语言的并发系统控制研究》，Theoret。计算。科学。，38, 193-222 (1985) ·Zbl 0567.68021号
[5] 坎贝尔，R.H.，《路径表达式：过程同步技术》（1976年纽卡斯尔大学泰恩分校博士论文）·Zbl 0295.68028号
[6] Hack，M.，Petri Net Languages，（CSG Memo 124，Project MAC（1975），M.I.T.出版社：麻省剑桥麻省理工出版社）
[7] Janicki，R。；劳尔，P。；Devillers，R.，《非序列系统的最大并发进化》（第四届欧洲Petri网应用与理论研讨会论文集，1983年）。（报告ASM/109（1983），纽卡斯尔大学泰恩河畔计算实验室），法国托卢斯·Zbl 0565.68020号
[8] Janicki，R.，《具有优先级关系的并发系统的形式语义》（报告R84-16（1984年10月），奥尔堡大学中心电子系统研究所）·Zbl 0589.68021号
[9] Kotow，W.E.，Sieti Petri（1984），莫斯夸
[10] Lauer，P.，《没有全局性假设的并发进程同步》（Beauchamp，K.G.，《分布式计算机系统的新进展》（1982），D.Reidel:D.Reidel Dordrecht），341-366
[11] 劳尔，P。；Campbell，R.H.，用于协调并发进程的一类高级原语的形式语义，Acta Inform。，5, 247-332 (1975) ·兹伯利0312.68012
[12] 劳尔，P。；Shields，W.，《资源访问规程的抽象规范：充分性、匮乏、优先级和中断》，SIGPLAN公告，13，12，41-59（1978）
[13] 劳尔，P。；护罩，M.W。；Cotronics，J.Y.，没有全局性假设的并发系统的形式行为规范，（计算机科学讲义，107（1981），施普林格：施普林格柏林），115-151·Zbl 0481.68012号
[14] 劳尔，P。；托里吉亚尼，P.R。；Devillers，R.，一位成本高昂的银行家，（计算机科学讲义，83（1980），施普林格：施普林格柏林），223-239·Zbl 0435.68027号
[15] 劳尔，P。；托里吉亚尼，P.R。；Shields，M.W.，COSY：一种基于路径表达式的系统规范语言，Acta Inform。，12, 109-158 (1979) ·Zbl 0403.68031号
[16] 莫亚拉，M。；J.Pulou。；Sifakis，J.，《同步Petri网：描述非自治系统的模型》（《计算机科学讲义》，64（1978），施普林格：施普林格-柏林），374-384·Zbl 0387.68046号
[17] Okulicka，F.，《关于具有优先关系的路径表达式的语义》（华沙科技大学博士论文（1985）），（波兰语）
[18] Okulicka，F.，《关于COSY系统中的优先级》，ICS PAS报告，第624号（1987年）
[19] Okulicka，F.，《论COSY中的优先独立性》（Proc.Internat.Conf.On Computing and Information（1989年5月），加拿大学者出版社：加拿大学者出版社多伦多）·Zbl 0701.68026号
[20] Salwicki，A。；Muldner，T.，《并发程序的算法特性》，（计算机科学讲义，125（1981），施普林格：施普林格-柏林），169-197·Zbl 0472.68012号
[21] Shields，M.W.，《适足路径表达式》（计算机科学讲义，70（1979），施普林格：施普林格柏林），249-265·Zbl 0429.68058号
[22] Shields，M.W.，《关于具有广义自由选择属性的系统的非连续行为》（内部报告CRS-92-81（1981年9月），爱丁堡大学计算机科学系）·Zbl 0562.68061号
[23] 护罩，W。；Lauer，P.E.，《COSY中并发系统的编程和验证》，（Dembinski，P.，《计算机科学的数学基础》，计算机科学数学基础，计算机科学讲义，88（1980），施普林格：施普林格柏林），576-586·Zbl 0463.68029号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。