Fairness, distances and degrees
type: Item
instance of: scholarly article
title: Fairness, distances and degrees
zbMATH Open document ID: 0769.68103
DOI: 10.1016/0304-3975(92)90390-2
author: Philippe Darondeau
author: Doris Nolte
author: Lutz Priese
author: Serge Yoccoz
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
full work available at URL: RR-1199.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 65302
zbMATH Keywords: recursive transition graphs
zbMATH Keywords: ultra-metrics
zbMATH Keywords: Baire metrics
zbMATH Keywords: recursive marked trees
zbMATH Keywords: fairness
MaRDI profile type: Publication
OpenAlex ID: W2031306850
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Algèbre de processus et synchronisation
cites work: Order and metric in the stream semantics of elemental concurrency
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q3677159
cites work: Q5520521
cites work: Q4079524
cites work: Q3738540
cites work: Q5592246
cites work: Formal verification of parallel programs
cites work: Decision problems forω-automata
cites work: A calculus of communicating systems
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Descriptive set theory
cites work: Q5573961
Recommended article: Fairness and hyperfairness
Recommended article: Fairness degree based fairness criterion and fairing algorithm
Recommended article: Q5751349
Recommended article: Q4500369
Recommended article: Q5090409
Recommended article: Fairness and the proportionality principle
Recommended article: Verification: Theory and Practice
Recommended article: Q4472441
Recommended article: Q3158469
Recommended article: Fairness criteria for algebraic curves
description: scientific article; zbMATH DE number 65302