×
安东尼·马祖基维奇；爱德华·奥赫曼斯基；沃伊切赫·彭泽克

并发系统和必然性。 （英语） Zbl 0675.68015号

西奥。计算。科学。 64，第3期，281-304（1989）.
并发系统是一个偏序集（S=（S，leq）），其中S是系统的状态集（其活动的历史），而（leq）是状态之间的支配关系。进程是S的任何最大有向子集，S中所有进程的族称为S的行为。进程对应于完全执行，即它们显示并发公平性。为了讨论过程的最终性质，作者定义了过程观察的概念。如果P（subseteq）S是一个过程，如果（downarrow V=P）和（down箭头V=\cup（downarrow\sigma|\）\（V中的sigma\），其中\（S中的downarror\sigma=\{tau\）\。这是终止和强同步系统中的过程的情况，因此，这些系统是可观察的。在这个框架中，作者引入了必然性的概念。如果系统的观察者很快或稍后会注意到具有此属性的状态，则属性是不可避免的。作者讨论了过程和观测者的条件及其与必然性的关系。其中一个条件是菱形离散系统有趣情况下的必然性。
审核人：A.Maggiolo-Schettini先生

引用于12文件

MSC公司：

68N25号 操作系统理论
2005年第68季度 计算模型（图灵机等）（MSC2010）
68问题55 计算理论中的语义学

关键词：

并发进程；部分顺序语义；必然性；观察员
PDF格式BibTeX公司 XML格式引用
\textit{A.Mazurkiewicz}等人，Theor。计算。科学。64，第3号，281--304（1989；Zbl 0675.68015）
全文： DOI程序

参考文献：

[1] Alpern，B。；Schneider，F.B.，《定义活力，信息》。过程。莱特。，21, 181-185 (1985) ·Zbl 0575.68030号
[2] 贝斯特，E.，公平与阴谋，告密。过程。莱特。，18, 215-220 (1984) ·兹伯利0558.68052
[3] 美国高尔茨。；Reisig，W.，Petri网的非顺序行为，Inform。控制。，57, 2/3, 125-147 (1983) ·兹伯利0551.68050
[4] Kuratowski，K.，Une méthode d'élimination des nombres transinis des raimonments mathematiques，基金会。数学。，3, 76-108 (1922)
[5] Kuratowski，K。；Mostowski，A.，《集合论》（1967），《北荷兰：北荷兰阿姆斯特丹》·Zbl 0165.01701号
[6] 莱曼，D。；普努利，A。；Stavi，A.，《公正、正义与公平：并行终端的伦理》，（Proc.Internat.Conf.Automata，《语言与编程》，Proc.Internet.Conf.Automata《语言与程序》，《计算机科学讲义》，115（1981），Springer:Springer Berlin），264-277·Zbl 0468.68026号
[7] Manna，Z。；Pnueli，A.，《并发程序的验证：时间证明原则》（Kozen，D.，《程序逻辑》，计算机科学讲义，154（1982），施普林格：施普林格-柏林），200-252·Zbl 0481.68019号
[8] Marek，W.，《私人通信》（1986年）
[9] Mazurkiewicz，A.，《痕迹、历史、图形：过程幺半群的实例》（Chytil，M.，《1984年计算机科学的数学基础》）。计算机科学的数学基础1984，计算机科学讲义，176（1984），施普林格：施普林格柏林），115-133·Zbl 0577.68061号
[10] Mazurkiewicz，A.，《完整过程和必然性》（莱顿大学86-06（1986）报告）
[11] Mazurkiewicz，A.，《跟踪理论》（Brauer，W.；Reisig，W.，Rozenberg，G.，《1986年Petri网的进展》，第二部分，《1986年度Petri网进展》，《计算机科学课堂讲稿》，255（1987），Springer:Springer Berlin），279-324·Zbl 0633.68051号
[12] Merceron，A.，《公平过程》（Rozenberg，G.，《Petri网进展》，1987年）。Petri网进展1987，计算机科学讲义，266（1987），施普林格：施普林格柏林），181-195·Zbl 0636.68068号
[13] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，Theoret。计算。科学。，13，85-108（1981），第1部分·Zbl 0452.68067号
[14] Ochmanski，E.，并发系统中的必然性，Inform。过程。莱特。，25, 221-225 (1987) ·Zbl 0653.68011号
[15] Owicki，S。；Lamport，L.，证明并发程序的活性属性，ACM Trans。编程语言和系统，4，3，455-495（1982）·Zbl 0483.68013号
[16] Penczek，W.，钻石离散系统中的不可避免性，ICS PAS报告598（1986）
[17] Petri，C.A.，非连续过程，GMD-ISF报告77-05（1977）
[18] Pnueli，A.，并发程序的时间语义，Theoret。计算。科学。，13, 45-60 (1981) ·Zbl 0441.68010号
[19] Reisig，W.，Petri Nets-An Introduction，（EATCS理论计算机科学专著（1985），Springer:Springer Berlin）·兹伯利0521.68057
[20] Shields，M.W.，《非顺序行为》（技术报告CSR-120-82（1982），爱丁堡大学计算机科学系），第1部分·Zbl 0562.68061号
[21] Winkowski，J.，并发系统的行为，理论。计算。科学。，12, 39-60 (1980) ·Zbl 0445.68044号
[22] Zorn，M.，关于超限代数方法的评论，Bull。阿默尔。数学。学会，41667-670（1935）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。