Searching for authors named "Carroll Morgan" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
Proof Rules For Probablistic Loops
- …Programming Research Group PROOF RULES FOR PROBABLISTIC LOOPS Carroll Morgan PRG-TR-25-95 \Delta…
- Add To MetaCart
-
Proof Rules for Probabilistic Loops
- …Proof rules for probabilistic loops Carroll Morgan August 15, 1996 Abstract Probabilistic…
- Cited by 30 (13 self) – Add To MetaCart
-
The Generalised Substitution Language extended to probabilistic programs
- …The Generalised Substitution Language extended to probabilistic programs Carroll Morgan…
- Cited by 7 (3 self) – Add To MetaCart
-
Procedures and Invariants in the Refinement Calculus
- …Procedures and invariants in the refinement calculus Trevor Vickers and Carroll Morgan y May…
- Cited by 20 (1 self) – Add To MetaCart
-
An expectation-based model for probabilistic temporal logic
- …An expectation-transformer model for probabilistic temporal logic Carroll Morgan and A.K. Mc…
- Cited by 11 (9 self) – Add To MetaCart
-
An iterator construct for the refinement calculus
- … University of York Heslington, York YO10 5DD, UK Email:king@(email omitted); Carroll Morgan School of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Hierarchical Reasoning in Probabilistic CSP
- … Morgan PRG-TR-3-96 \Delta Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1…
- Cited by 1 (0 self) – Add To MetaCart
-
pGCL: formal reasoning for random algorithms
- …Research Articles pGCL: formal reasoning for random algorithms Carroll Morgan and Annabelle Mc…
- Cited by 27 (7 self) – Add To MetaCart
-
Probabilistic guarded commands mechanized in HOL. Available at http://www.cl.cam.ac.uk/∼jeh1004/research/papers/pgcl.html
- … University Annabelle McIver Department of Computing Macquarie University Carroll Morgan School of Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
An Expectation-Transformer Model for Probabilistic Temporal Logic
- … Carroll Morgan and Annabelle McIver PRG-TR-20-97 \Delta Oxford University Computing Laboratory Wolfson…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
