Strong fairness and ultra metrics
type: Item
instance of: scholarly article
title: Strong fairness and ultra metrics
zbMATH Open document ID: 0769.68105
DOI: 10.1016/0304-3975(92)90175-F
author: Lutz Priese
author: Doris Nolte
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 65326
zbMATH Keywords: ultra metrics
zbMATH Keywords: logical complexity
zbMATH Keywords: fairness concepts
Wikidata QID: Q27924892
MaRDI profile type: Publication
cites work: Proof rules and transformations dealing with fairness
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Fairness and conspiracies
cites work: Adherences of languages
cites work: Q3677159
cites work: Weak and strong fairness in CCS
cites work: About fair asynchrony
cites work: Fairness, distances and degrees
cites work: Order and metric in the stream semantics of elemental concurrency
cites work: Q3738540
cites work: Q3787456
cites work: On the minimal number of \(\times\) operators to model regularity in fair SCCS
cites work: Decision problems forω-automata
cites work: Q3922147
cites work: A calculus of communicating systems
cites work: Q3347267
cites work: Q3823122
cites work: Q3753477
cites work: Fairness and related properties in transition systems - a temporal logic to deal with fairness
description: scientific article; zbMATH DE number 65326