CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452zbMATH Open1134.68351OpenAlexW1737342522MaRDI QIDQ5897481FDOQ5897481

Authors: Andrzej S. Murawski, Joël Ouaknine 

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11539452

Recommendations

• Refinement algebra for probabilistic programs
• Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
• Algorithmic probabilistic game semantics. Playing games with automata
• Universal equivalence and majority of probabilistic programs over finite fields
• Verification of Probabilistic Programs

Mathematics Subject Classification ID

Randomized algorithms (68W20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (17)

• Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
• Approximate Counting in SMT and Value Estimation for Probabilistic Programs
• Universal equivalence and majority of probabilistic programs over finite fields
• On the hardness of analyzing probabilistic programs
• On the termination problem for probabilistic higher-order recursive programs
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Program equivalence in a typed probabilistic call-by-need functional language
• Three tokens in Herman's algorithm
• Title not available (Why is that?)
• A generalisation of stationary distributions, and probabilistic program algebra
• Refinement algebra for probabilistic programs
• Program verification using symbolic game semantics
• Does a Program Yield the Right Distribution?
• Verifying annotated program families using symbolic game semantics
• Algorithmic probabilistic game semantics. Playing games with automata
• Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
• Title not available (Why is that?)

This page was built for publication: CONCUR 2005 – Concurrency Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897481)