Countable nondeterminism and random assignment
From MaRDI portal
Publication:3763571
DOI10.1145/6490.6494zbMATH Open0627.68015OpenAlexW2014552079MaRDI QIDQ3763571FDOQ3763571
Recommendations
Cited in
(55)- Two guarded recursive powerdomains for applicative simulation
- Verified exact real computation with nondeterministic functions and limits
- Liminf progress measures
- Nonexpressibility of fairness and signaling
- Transforming semantics by abstract interpretation
- Full abstraction and recursion
- The \(\mu\)-calculus as an assertion-language for fairness arguments
- Merging regular processes by means of fixed-point theory
- While-programs with nondeterministic assignments and the logic ALNA
- A Case Study in Abstract Interpretation Based Program Transformation
- Semantic models for total correctness and fairness
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
- A methodology for designing proof rules for fair parallel programs
- A logic of recursion
- The weakest precondition calculus: Recursion and duality
- The expressive power of indeterminate dataflow primitives
- Dual unbounded nondeterminacy, recursion, and fixpoints
- A unified rule format for bounded nondeterminism in SOS with terms as labels
- Contractions in comparing concurrency semantics
- Equational reasoning about nondeterministic processes
- The origins of structural operational semantics
- scientific article; zbMATH DE number 7471671 (Why is no real title available?)
- On the logic of UNITY
- Comparative metric semantics for concurrent PROLOG
- Soundness of data refinement for a higher-order imperative language
- Sequential algorithms for unbounded nondeterminism
- Fifty years of Hoare's logic
- Alternating states for dual nondeterminism in imperative programming
- Strong fairness and full abstraction for communicating processes
- A relation algebraic model of robust correctness
- Comparative semantics for flow of control in logic programming without logic
- Hiding Software Watermarks in Loop Structures
- Generated models and the \(\omega\)-rule: the nondeterministic case
- A category-theoretic semantics for unbounded indeterminacy
- Verification of concurrent programs: The automata-theoretic framework
- Metric semantics for concurrency
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Step-indexed relational reasoning for countable nondeterminism
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
- An abstract interpretation-based model for safety semantics
- \(m\)-algebraic lattices in formal concept analysis
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- Interpretations of recursion under unbounded nondeterminacy
- Computing polynomial program invariants
- Modelling higher-order dual nondeterminacy
- A calculus of refinements for program derivations
- Precise interprocedural dependence analysis of parallel programs
- Step-indexed relational reasoning for countable nondeterminism
- A complete rule for equifair termination
- Completing the temporal picture
- A domain equation for bisimulation
- A fully abstract semantics for concurrent constraint programming
- Counting successes: effects and transformations for non-deterministic programs
- Foundations of Software Science and Computation Structures
This page was built for publication: Countable nondeterminism and random assignment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3763571)
