Promptness and bounded fairness in concurrent and parameterized systems
type: Item
instance of: scholarly article
title: Promptness and bounded fairness in concurrent and parameterized systems
DOI: 10.1007/978-3-030-39322-9_16
author: Swen Jacobs
author: Mouhammad Sakr
author: Martín G. Zimmermann
publication date: 2020-08-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1911.03122
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 7228514
MaRDI profile type: Publication
OpenAlex ID: W3003923933
Recommended article: Fair Termination for Parameterized Probabilistic Concurrent Systems
Recommended article: Defining Fairness in Reactive and Concurrent Systems
Recommended article: Concurrency, σ-Algebras, and Probabilistic Fairness
Recommended article: Encoding fairness in a synchronous concurrent program algebra
Recommended article: CONCUR 2003 - Concurrency Theory
Recommended article: A fixpoint approach to finite delay and fairness
Recommended article: Fair Synthesis for Asynchronous Distributed Systems
Recommended article: A program logic for concurrent objects under fair scheduling
description: scientific article; zbMATH DE number 7228514