Pages that link to "Item:Q1424351"
From MaRDI portal
The following pages link to Reasoning about probabilistic sequential programs in a probabilistic logic (Q1424351):
Displaying 7 items.
- Similarity mass and approximate reasoning (Q382476) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Semantics of non-deterministic possibility computation (Q1759727) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
