RAJEEV ALUR University of Pennsylvania and Bell Labs and THOMAS A. HENZINGER...  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/~tah/...nitary_fairness.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~t...nitary_fairness (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper appeared in the Proceedings of the Ninth IEEE Symposium on Logic in Computer Science (LICS), pp. 52--61, 1994. An extended version will appear in the ACM Transactions on Programming Languages and Systems (TOPLAS) (Update)
Context of citations to this paper: More
...critically depend on the level of fairness inherent in the system. There are other fairness notions, too. For example finitary fairness [5] requires that for every execution of the system there is an unknown bound k such that no enabled action is postponed more than k...
...the design of algorithms for problems that are unsolvable in the asynchronous model. The notion of finitary fairness was introduced in [2]. Finitary fairness requires that for every run of a system there is an unknown bound k such that no enabled transition is postponed more...
Cited by: More
Discounting the Future in Systems Theory - de Alfaro, Henzinger, Majumdar (2003) (Correct)
Verification Methods for the Divergent Runs Of Clock Systems - A.Henzinger, W.Kopke (1994) (Correct)
From Fairness to Chance - de Alfaro (1999) (Correct)
Similar documents (at the sentence level):
53.0%: Finitary Fairness - Alur, Henzinger (1994) (Correct)
Similar documents based on text: More All
0.2: Alternating-time Temporal Logic - Alur, Henzinger, Kupferman (1997) (Correct)
0.2: Reactive Modules - Alur, Henzinger (1999) (Correct)
0.2: Parametric Temporal Logic for "Model Measuring" - Alur, Etessami, Torre, Peled (1999) (Correct)
Related documents from co-citation: More All
3: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
2: Springer-Verlag (context) - Francez - 1986
2: Automatic verification of probabilistic concurrent finite-state systems (context) - Vardi - 1985
BibTeX entry: (Update)
R. Alur and T. Henzinger. Finitary fairness. In Proc. of the 9th Annual IEEE Symp. on Logic in Computer Science, pages 52--61, Paris, France, July 1994. IEEE Comp. Soc. Press. http://citeseer.ist.psu.edu/alur94finitary.html More
@article{ alur98finitary,
author = "Rajeev Alur and Thomas A. Henzinger",
title = "Finitary fairness",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "20",
number = "6",
pages = "1171--1194",
year = "1998",
url = "citeseer.ist.psu.edu/alur94finitary.html" }
Citations not processed or no citations identified.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC