MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Probabilistic Predicate Transformers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 29 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Probabilistic Predicate Transformers  
  • by Carroll Morgan, Annabelle McIver, Karen Seidel — 1995 — ACM Transactions on Programming Languages and Systems
  • …Probabilistic predicate transformers CARROLL MORGAN, ANNABELLE McIVER and KAREN SEIDEL Oxford…
  • Cited by 99 (31 self) – Add To MetaCart
  • Probabilities in Action Systems  
  • by Kaisa Sere, Elena A. Troubitsyna — 1996 — In Proc. of the 8th Nordic Workshop on Programming Theory
  • … the notion of probabilistic predicate transformers has been introduced to reason about probabilistic behavior…
  • Cited by 2 (1 self) – Add To MetaCart
  • Proof Rules for Probabilistic Loops  
  • by Carroll Morgan — 1996 — Proceedings of the BCS-FACS 7th Refinement Workshop, Workshops in Computing
  • … predicate transformers provide a semantics for imperative programs containing both demonic and probabilistic…
  • Cited by 30 (13 self) – Add To MetaCart
  • Proof Rules For Probablistic Loops  
  • by Carroll Morgan — 1995
  • … Probabilistic predicate transformers provide a semantics for imperative programs containing both demonic…
  • Add To MetaCart
  • Quantum Weakest Preconditions  
  • by Ellie D'Hondt, Prakash Panangaden — 2005 — UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
  • … just use probabilistic predicates and the general theory of probabilistic predicate transformers in a…
  • Cited by 14 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB