On equivalence-completions of fairness assumptions
type: Item
instance of: scholarly article
title: On equivalence-completions of fairness assumptions
zbMATH Open document ID: 0782.68075
DOI: 10.1007/BF01211476
author: Nissim Francez
author: Reino Kurki-Suonio
author: Ralph-Johan Back
published in: Formal Aspects of Computing
publication date: 1993-04-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 146993
zbMATH Keywords: equivalence-robustness
zbMATH Keywords: fairness
zbMATH Keywords: partial order semantics
zbMATH Keywords: completion
zbMATH Keywords: liveness properties
MaRDI profile type: Publication
cites work: Proof rules and transformations dealing with fairness
cites work: Fairness and hyperfairness in multi-party interactions
cites work: Appraising fairness in languages for distributed programming
cites work: Distributed cooperation with action systems
cites work: Q4864236
cites work: Interleaving set temporal logic
cites work: Verification of distributed programs using representative interleaving sequences
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Q3731015
full work available at URL: https://doi.org/10.1007/bf01211476
OpenAlex ID: W2039532842
description: scientific article; zbMATH DE number 146993