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

메뉴 건너뛰기

Acta Informatica

Volumn 6, Issue 4, 1976, Pages 319-340

An axiomatic proof technique for parallel programs I

(2) Owicki, Susan a Gries, David a

a Department of Obstetrics Gynecology (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0017173886 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00268134 Document Type: Article

Times cited : (720)

References (19)

1
- 0038048027
- Formalization of properties of parallel programs
- University of Edinburgh Press, Edinburgh
- (1971) Machine Intelligence 6 , pp. 17-41
- Ashcroft, E.A.¹ Manna, Z.²

2
- 84933129182
- Ashcroft, E. A.: Proving assertions about parallel programs. Dept of Computer Science, University of Waterloo, CS 73-01, 1973

3
- 84933129076
- Cadiou, J. M., Levy, J. J.: Mechanical proofs about parallel processes. Proc. 14 Annual IEEE Symposium on Switching and Automata Theory, 1973, p. 34–48

4
- 0007434664
- Program proving: coroutines
- (1973) Acta Informatica , vol.2 , pp. 50-63
- Clint, M.¹

5
- 84915634677
- Dept. of Computer Science, Toronto
- (1975) Axiomatic and interpretive semantics for an Algol fragment
- Cook, S.A.¹

6
- 84933129077
- Dijkstra, E. W. et al.: On-the-fly garbage collection: an exercise in cooperation. In Working Material for the NATO Summer School on Language Hierarchies and Interfaces, Munich, 1975

7
- 84933129072
- Gries, D.: An exercise in proving properties of parallel programs. (Submitted to Comm. ACM)

8
- 0015316073
- Synchronization of communicating processes
- (1972) Communications of the ACM , vol.15 , pp. 171-176
- Habermann, A.N.¹

9
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , pp. 576-580
- Hoare, C.A.R.¹

10
- 0005456280
- Towards a theory of parallel programming
- C. A. R., Hoare, R. H., Perrot, Academic Press, New York
- (1972) Operating systems techniques
- Hoare, C.A.R.¹

11
- 0015982686
- Consistent and complementary formal theories of the semantics of programming languages
- (1974) Acta Informatica , vol.3 , pp. 135-153
- Hoare, C.A.R.¹ Lauer, P.E.²

12
- 2942586781
- IBM Laboratory, Vienna
- (1971) Consistent formal theories of the semantics of programming languages
- Lauer, P.E.¹

13
- 84933129075
- Lipton, R. J.: On synchronization primitive systems. Carnegie Mellon University, PhD Thesis, 1974

14
- 84933129068
- Lipton, R. J.: Reduction: a new method for proving properties of systems of processes. Yale Computer Science Research Report 30, 1974

15
- 84933129071
- Newton, G.: Proving properties of interacting processes. Acta Informatica

16
- 84933129065
- Owicki, S.: Axiomatic proof techniques for parallel programs. Computer Science Dept., Cornell University, PhD thesis, 1975

17
- 84933129066
- Rosen, B. K.: Correctness of parallel programs: the Church-Rosser approach. T. J. Watson Research Center, Yorktown Heights (N. Y.), IBM Research Report RC5107, 1974

18
- 60749089448
- The structure of the THE multiprogramming system
- (1968) Communications of the ACM , vol.11 , pp. 341-347
- Dijkstra, E.W.¹

19
- 84933129061
- Owicki, S., Gries, D.: Axiomatic proof techniques for parallel programs II. In preparation

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