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 条

[1] Learning I/O Automata
Aarts, Fides
Vaandrager, Frits
[J]. CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 71 - 85
[2] Hybrid I/O automata
Lynch, N
Segala, R
Vaandrager, F
[J]. INFORMATION AND COMPUTATION, 2003, 185 (01) : 105 - 157
[3] Fairness in pushdown automata
Mihoubi, Douadi
[J]. BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2011, 18 (03) : 557 - 569
[4] GAMES I/O AUTOMATA PLAY
REINGOLD, N
WANG, DW
ZUCK, LD
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 325 - 339
[5] A Methodology for the Investigation of I/O Automata
Liao, Yanchu
[J]. 2012 7TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2012, : 133 - 136
[6] Modularity for teams of I/O automata
ter Beek, MH
Kleijn, J
[J]. INFORMATION PROCESSING LETTERS, 2005, 95 (05) : 487 - 495
[7] From I/O automata to timed I/O automata -: A solution to the 'Generalized Railroad Crossing' in Isabelle/HOLCF
Grobauer, B
Müller, O
[J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 273 - 289
[8] Revisiting I/O Scheduler for Enhancing I/O Fairness in Virtualization Systems
Kim, Sewoog
Kang, Dongwoo
Choi, Jongmoo
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (12): : 3133 - 3141
[9] Bridging refinement of interface automata to forward simulation of I/O automata
Wen, YJ
Wang, J
Qi, ZC
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 259 - 273
[10] Relations between networks of standard automata and networks of I/O automata
Lunze, Jan
[J]. WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 425 - 430

← 1 2 3 4 5 →