A note on fairness in I/O automata

被引：4
|
作者：
Romijn, J [1 ]
Vaandrager, F [1 ]
机构：
[1] CWI,NL-1090 GB AMSTERDAM,NETHERLANDS
来源：
INFORMATION PROCESSING LETTERS | 1996年 / 59卷 / 05期
关键词：
concurrency; I/O automata; weak fairness; strong fairness; liveness;
D O I：
10.1016/0020-0190(96)00122-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Notions of weak and strong fairness are studied in the setting of the I/O automaton model of Lynch and Tuttle. The concept of a fair I/O automaton is introduced and it is shown that a fair I/O automaton paired with the set of its fair executions is a live I/O automaton provided that (1) in each reachable state at most countably many fairness sets are enabled, and (2) input actions cannot disable strong fairness sets. This result, which generalizes previous results known from the Literature, was needed to solve a problem posed by Broy and Lamport for the Dagstuhl Workshop on Reactive Systems.
引用
收藏
页码：245 / 250
页数：6
相关论文
共 50 条
  • [31] A NOTE ON REBOUND AUTOMATA
    INOUE, K
    TAKANAMI, I
    TANIGUCHI, H
    [J]. INFORMATION SCIENCES, 1982, 26 (01) : 87 - 93
  • [32] m-Asynchronous cellular automata: from fairness to quasi-fairness
    Dennunzio, Alberto
    Formenti, Enrico
    Manzoni, Luca
    Mauri, Giancarlo
    [J]. NATURAL COMPUTING, 2013, 12 (04) : 561 - 572
  • [33] m-Asynchronous cellular automata: from fairness to quasi-fairness
    Alberto Dennunzio
    Enrico Formenti
    Luca Manzoni
    Giancarlo Mauri
    [J]. Natural Computing, 2013, 12 : 561 - 572
  • [34] Fine-Grained I/O Traffic Control Middleware for I/O Fairness in Virtualized System
    Lee, Jaehak
    Lee, Hwamin
    Yu, Heonchang
    [J]. IEEE ACCESS, 2022, 10 : 73122 - 73144
  • [35] Control of ω-automata under state fairness assumptions
    Thistle, JG
    Malhame, RP
    [J]. SYSTEMS & CONTROL LETTERS, 1998, 33 (04) : 265 - 274
  • [36] Fairness of proportional work-conserving I/O scheduling
    Yoo, Seehwan
    Yoo, Chuck
    Park, Hyunchan
    [J]. ELECTRONICS LETTERS, 2012, 48 (12) : 682 - 684
  • [37] A note on fairness and personalised pricing
    Vulkan, Nir
    Shem-Tov, Yotam
    [J]. ECONOMICS LETTERS, 2015, 136 : 179 - 183
  • [38] Towards an Approximate Conformance Relation for Hybrid I/O Automata
    Mohaqeqi, Morteza
    Mousavi, Mohammad Reza
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 53 - 64
  • [39] I/O automata and beyond:: Temporal logic and abstraction in Isabelle
    Müller, O
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 331 - 348
  • [40] Modal I/O automata for interface and product line theories
    Nyman, Ulrik
    Wqsowski, Andrzej
    Wasowski, Andrzej
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 : 64 - +
12345