Paper Info
Title
Semantic for abstract fairness using metric spaces
Abstract
We introduce metric spaces that allow to characterize fair computations in finite transition systems without structured states as limits of convergent series and fair languages as the set of cluster points.
Year
Venue
Keywords
1989
CSL '89 Proceedings of the third workshop on Computer science logic
abstract fairness,metric space,metric spaces
Field
DocType
ISBN
T-norm,Discrete mathematics,Equivalence of metrics,Pseudometric space,Computer science,Convex metric space,Metric (mathematics),Metric space,Product metric,Injective metric space
Conference
0-387-52753-2
Citations 
PageRank 
References 
0
0.34
5
Authors
2
Name
Order
Citations
PageRank
Lutz Priese124031.41
Doris Nolte2112.50