Unbounded nondeterminism

Known as: Fair nondeterminism, Unbounded indeterminacy 
In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We give extensional and intensional characterizations of higher-order functional programs with unbounded nondeterminism: as… (More)
  • table 1
Is this relevant?
2013
2013
Nondeterminism complicates the development and management of distributed systems, and arises from two main sources: the local… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in… (More)
Is this relevant?
1995
1995
Morgan [Mor90a] has described a correspondence between Back's action systems [BKS83] and the conventionalfailures-divergences… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1995
1995
Unbounded nondeterminism has played a fundamental role in the areas of re nement between models of languages supporting real time… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Hybrid automata model systems with both digital and analog components, such az embedded control programs. Many verification tasks… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
The theory of CSP is extended to include an infinitary parallel composition operator. The presence of such an operator allows us… (More)
  • figure 1
Is this relevant?
1989
1989
We extend the failures/divergences model for CSP to include a component of infinite traces. This allows us to give a denotational… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Four semantics for a small programming language involving unbounded (but countable) nondeterminism are provided. These comprise… (More)
Is this relevant?
1980
1980
Sequential Algorithms for Unbounded 
Is this relevant?