Probabilistic models for the guarded command language
From MaRDI portal
Publication:1356940
DOI10.1016/S0167-6423(96)00019-6zbMath0877.68014OpenAlexW2072033902MaRDI QIDQ1356940
He Jifeng, Annabelle McIver, Karen Seidel
Publication date: 16 June 1997
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00019-6
Related Items
A UTP approach for rTiMo ⋮ Unifying Theories of Programming with Monads ⋮ Denotational Semantics for a Probabilistic Timed Shared-Variable Language ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Dynamic intransitive noninterference revisited ⋮ Relations into algebras of probabilistic distributions ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ Semantic inheritance in unifying theories of programming ⋮ A unification of probabilistic choice within a design-based model of reversible computation ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Compositional noninterference from first principles ⋮ Automated reasoning for probabilistic sequential programs with theorem proving ⋮ Lattice-valued Scott topology on dcpos ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Linking theories in probabilistic programming ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ How to Brew-up a Refinement Ordering ⋮ Data Refinement with Probability in Mind ⋮ Probabilistic rely-guarantee calculus ⋮ A Generalisation of Stationary Distributions, and Probabilistic Program Algebra ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities ⋮ Semantics of non-deterministic possibility computation ⋮ Compiling quantum programs ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Hidden-Markov program algebra with iteration ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Partial correctness for probabilistic demonic programs ⋮ Enhancing probabilistic model checking with ontologies ⋮ Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations ⋮ Domain semantics of possibility computations ⋮ Reasoning about faulty quantum programs ⋮ Remarks on Testing Probabilistic Processes ⋮ Quantitative program logic and expected time bounds in probabilistic distributed algorithms.