Fairness Is Concept Fairness Fairness is a concept that has been widely used in the formal modeling ...  Home/Search
Context
Related
| berkeley.edu/~dealfaro...thesis4g.ps.gz 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/~d...abstractthesis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this dissertation. We begin our presentation by briefly recalling a few notions of fairness that have been presented in the literature, discussing the implications of each definition in the context of probabilistic systems. We then introduce our version of fairness, called probabilistic fairness, and we present the temporal logics FPTL and FPTL*, derived from GPTL and GPTL*. In these new logics, the semantics of 164 8.1. AN OVERVIEW OF FAIRNESS 165 the path quantifiers and of the... (Update)
Similar documents based on text: More All
0.6: Fairness, Computable Fairness, and Randomness - Jaeger (Correct)
0.5: From Fairness to Chance - de Alfaro (1999) (Correct)
0.5: Model Checking for a Probabilistic Branching Time Logic with .. - Baier, Kwiatkowska (1996) (Correct)
BibTeX entry: (Update)
@misc{ concept-unknown,
author = "Fairness Is Concept",
title = "Unknown",
url = "citeseer.ist.psu.edu/513399.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
725 Temporal and modal logic (context) - Emerson - 1990
717 Theory of Linear and Integer Programming (context) - Schrijver - 1987
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
408 Princeton University Press (context) - Bellman - 1957
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
374 Automata on infinite objects (context) - Thomas - 1990
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
276 A Compositional Approach to Performance Modelling - Hillston - 1996
268 Dynamic Programming and Markov Processes (context) - Howard - 1960
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1989
246 Markov Decision Processes (context) - Puterman - 1994
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
216 Theoretical Computer Science (context) - Milner, synchrony - 1983
[Article contains additional citations not shown here]
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