SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Acta Informatica

Volumn 37, Issue 4-5, 2001, Pages 329-354

Demonic, angelic and unbounded probabilistic choices in sequential programs

(2) McIver, A K a Morgan, C a

a UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035586166 PISSN: 00015903 EISSN: None Source Type: Journal
DOI: 10.1007/s002360000046 Document Type: Article

Times cited : (21)

References (20)

1
- 0025458530
- Duality in specification languages: A lattice theoretical approach
- R.-J. R. Back, J. von Wright: Duality in specification languages: a lattice theoretical approach. Acta Inf. 27: 583-625 (1990)
- (1990) Acta Inf. , vol.27 , pp. 583-625
- Back, R.-J.R.¹ Von Wright, J.²

2
- 0004253669
- Englewood Cliffs, N.J.: Prentice Hall
- E.W. Dijkstra: A Discipline of Programming. Englewood Cliffs, N.J.: Prentice Hall 1976
- (1976) A Discipline of Programming
- Dijkstra, E.W.¹

3
- 0004285163
- Oxford Science Publications
- G. Grimmett, D. Welsh: Probability: an Introduction. Oxford Science Publications 1986
- (1986) Probability: An Introduction
- Grimmett, G.¹ Welsh, D.²

4
- 0004479697
- Programs, recursion and unbounded choice
- Cambridge University Press, Cambridge, U.K.
- Wim H Hesselink: Programs, Recursion and Unbounded Choice. Number 27 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, U.K. 1992
- (1992) Number 27 in Cambridge Tracts in Theoretical Computer Science
- Hesselink, W.H.¹

5
- 0003857859
- Probabilistic nondeterminism
- Edinburgh Univ. Edinburgh, U.K., PhD Thesis
- C. Jones: Probabilistic nondeterminism. Monograph ECS-LFCS-90-105, Edinburgh Univ. Edinburgh, U.K., 1990. (PhD Thesis)
- (1990) Monograph ECS-LFCS-90-105
- Jones, C.¹

6
- 0019572941
- Semantics of probabilistic programs
- D. Kozen: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22: 328-350 (1981)
- (1981) J. Comput. Syst. Sci. , vol.22 , pp. 328-350
- Kozen, D.¹

7
- 0002984836
- A probabilistic PDL
- New York: ACM
- D. Kozen: A probabilistic PDL. In: Proceedings of the 15th ACM Symposium on Theory of Computing, New York: ACM 1983
- (1983) Proceedings of the 15th ACM Symposium on Theory of Computing
- Kozen, D.¹

8
- 49049126479
- Results on the propositional μ-calculus
- D. Kozen: Results on the propositional μ-calculus. Theor. Comput. Sci. 27: 333-354 (1983)
- (1983) Theor. Comput. Sci. , vol.27 , pp. 333-354
- Kozen, D.¹

9
- 0039972021
- Partial correctness for probabilistic programs
- A. K. McIver, C.C. Morgan: Partial correctness for probabilistic programs. Submitted to Theoretical Computing Science
- Submitted to Theoretical Computing Science
- McIver, A.K.¹ Morgan, C.C.²

10
- 0039972020
- Probabilistic predicate transformers: Part 2
- Programming Research Group, March
- A. McIver, C. Morgan: Probabilistic predicate transformers: part 2. Technical Report PRG-TR-5-96, Programming Research Group, March 1996
- (1996) Technical Report PRG-TR-5-96
- McIver, A.¹ Morgan, C.²

11
- 0024036510
- The specification statement
- July
- C. C. Morgan. The specification statement. ACM Trans. Programm. Lang. Syst. 10(3), July 1988
- (1988) ACM Trans. Programm. Lang. Syst. , vol.10 , Issue.3
- Morgan, C.C.¹

12
- 0012691159
- Proof rules for probabilistic loops
- H. Jifeng, J. Cooke, P. Wallis (eds), Berlin Heidelberg New York: Springer
- C. C. Morgan: Proof rules for probabilistic loops. In: H. Jifeng, J. Cooke, P. Wallis (eds) Proceedings of the BCS-FACS 7th Refinement Workshop, Workshops in Computing. Berlin Heidelberg New York: Springer 1996
- (1996) Proceedings of the BCS-FACS 7th Refinement Workshop, Workshops in Computing
- Morgan, C.C.¹

13
- 0003995207
- On the refinement calculus
- Berlin Heidelberg New York: Springer
- C. C. Morgan, T. N. Vickers (eds): On the Refinement Calculus. FACIT Series in Computer Science. Berlin Heidelberg New York: Springer 1994
- (1994) FACIT Series in Computer Science
- Morgan, C.C.¹ Vickers, T.N.²

14
- 0007550469
- pGCL: Formal reasoning for random algorithms
- March
- C. Morgan: pGCL: Formal reasoning for random algorithms. Proceedings of WOFACS '98, Special Issue of South African Computer Journal Vol 22, March 1999
- (1999) Proceedings of WOFACS '98, Special Issue of South African Computer Journal , vol.22
- Morgan, C.¹

15
- 0039972019
- An expectation-based model for probabilistic temporal logic
- Programming Research Group
- C. Morgan, A. McIver: An expectation-based model for probabilistic temporal logic. Technical Report PRG-TR-20-97, Programming Research Group, 1997
- (1997) Technical Report PRG-TR-20-97
- Morgan, C.¹ McIver, A.²

16
- 0009629466
- A probabilistic temporal calculus based on expectations
- L. Groves, S. Reeves (eds), Singapore: Springer
- C. Morgan, A. McIver: A probabilistic temporal calculus based on expectations. In: L. Groves, S. Reeves (eds) Proc. Formal Methods Pacific '97. Singapore: Springer 1997
- (1997) Proc. Formal Methods Pacific '97
- Morgan, C.¹ McIver, A.²

17
- 0030143516
- Probabilistic predicate transformers
- C. Morgan, A. McIver, K. Seidel: Probabilistic predicate transformers. ACM Trans. Programm. Lang. Syst. 18(3): 325-353 (1996)
- (1996) ACM Trans. Programm. Lang. Syst. , vol.18 , Issue.3 , pp. 325-353
- Morgan, C.¹ McIver, A.² Seidel, K.³

18
- 0024752060
- A generalization of Dijkstra's calculus
- G. Nelson: A generalization of Dijkstra's calculus. ACM Trans. Programm. Lang. Syst. 11(4): 517-561 (1989)
- (1989) ACM Trans. Programm. Lang. Syst. , vol.11 , Issue.4 , pp. 517-561
- Nelson, G.¹

19
- 0039379820
- PSG: Probabilistic Systems Group: Collected reports. http://www.comlab.ox.ac.uk/oucl/groups/probs/bibliography.html
- PSG: Probabilistic Systems Group: Collected Reports

20
- 0028424891
- Reasoning about probabilistic parallel programs
- J. R. Rao: Reasoning about probabilistic parallel programs. ACM Trans. Programm. Lang. Syst. 16(3): 798-842 (1994)
- (1994) ACM Trans. Programm. Lang. Syst. , vol.16 , Issue.3 , pp. 798-842
- Rao, J.R.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.