On fairness and randomness
type: Item
instance of: scholarly article
title: On fairness and randomness
zbMATH Open document ID: 1170.93026
author: Manfred Jaeger
published in: Information and Computation
publication date: 2009-09-14T00:00:00Z
Mathematics Subject Classification ID: 93E03
Mathematics Subject Classification ID: 62A01
zbMATH DE Number: 5603604
zbMATH Keywords: fairness
zbMATH Keywords: randomness
zbMATH Keywords: probabilistic verification
zbMATH Keywords: non-deterministic systems
zbMATH Keywords: probabilistic systems
MaRDI profile type: Publication
full work available at URL: j.ic.2009.01.005
OpenAlex ID: W2006574755
cites work: On the verification of qualitative properties of probabilistic processes under fairness constraints.
cites work: Probabilistic verification
cites work: Q4255554
cites work: The definition of random sequences
cites work: A unified approach to the definition of random sequences
cites work: Probabilities over rich languages, testing and randomness
cites work: Q3922147
cites work: Q3482822
cites work: Appraising fairness in languages for distributed programming
cites work: Logic for Programming, Artificial Intelligence, and Reasoning
cites work: Fairness and hyperfairness
cites work: CONCUR 2005 – Concurrency Theory
cites work: The axiomatization of randomness
cites work: Q4337021
cites work: Q3794956
cites work: Q4385530
cites work: Q4385542
cites work: The complexity of probabilistic verification
cites work: Q4411830
DOI: 10.1016/J.IC.2009.01.005
description: scientific article; zbMATH DE number 5603604