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

메뉴 건너뛰기

Acta Informatica

Volumn 19, Issue 1, 1983, Pages 57-84

Complexity of analyzing the synchronization structure of concurrent programs

(1) Taylor, Richard N a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - PARALLEL PROCESSING;

COMPUTER PROGRAMMING;

EID: 0020736536 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00263928 Document Type: Article

Times cited : (117)

References (33)

1
- 84976789984
- Gypsy: A language for specification and implementation of verifiable programs
- (1977) ACM SIGPLAN Notices , vol.12 , Issue.3 , pp. 1-10
- Ambler, A.L.¹

2
- 84976742643
- A proof system for Communicating Sequential Processes
- (1980) ACM Transactions on Programming Languages and Systems , vol.2 , Issue.3 , pp. 359-385
- Apt, K.¹ Francez, N.² de Roever, W.P.³

3
- 0002862123
- Complexity of the deadlock avoidance problem
- IBM, Japan, Tokyo
- (1977) Proc. 2nd IBM Symp. Math. Found. Comput. Sci. , pp. 229-252
- Araki, T.¹ Sugiyama, T.² Kasami, T.³ Okui, J.⁴

4
- 0018018382
- A practical interprocedural data-flow analysis algorithm
- (1978) Communications of the ACM , vol.21 , Issue.9 , pp. 724-736
- Barth, J.M.¹

5
- 0018031239
- Distributed Processes: a concurrent programming concept
- (1978) Communications of the ACM , vol.21 , Issue.11 , pp. 934-941
- Brinch Hansen, P.¹

6
- 84933361026
- Bristow, G, Drey, C., Edwards, B, Riddle, W.: Anomaly detection in concurrent programs. Proc. Fourth International Conference on Software Engineering, Munich, Germany, pp. 265–273, 1979

7
- 84933361023
- Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes Comput. Sci. Berlin, Heidelberg, New York: Springer, 16, 89–102 (1974)

8
- 84933361022
- Clarke, E.M., Liu, L.: Approximate algorithms for optimization of busy waiting in parallel programs (Preliminary Report). Proc. 20th Symp. Found. Comput. Sci. San Juan, Puerto Rico, pp. 255–266, 1979

9
- 84976691730
- System deadlocks
- (1971) ACM Computing Surveys , vol.3 , Issue.2 , pp. 67-68
- Coffman, E.G.¹ Elphick, M.J.² Shoshani, A.³

10
- 84933361025
- Cunha, P.R.F., Maibaum, T.S.E.: A synchronization calculus for message oriented programming. Proc. 2nd Intl. Conf. Distributed Comput. Syst., Paris, France, 433–445, 1981

11
- 0003603813
- W.H. Freeman and Co., San Francisco
- (1979) Computers and Intractability; A Guide to the theory of NP-Completeness
- Garey, M.R.¹ Johnson, D.S.²

12
- 0001415790
- Deadlock protection: easy and difficult cases
- (1978) SIAM Journal on Computing , vol.7 , pp. 320-336
- Gold, E.M.¹

13
- 84933361024
- Good, D.I., Cohen, R.M., Keeton-Williams, J.: Principles of proving concurrent programs in Gypsy. Proc. 6th ACM Symposium on Principles of Programming Languages, San Antonio, TX, pp. 42–52, 1979

14
- 0016114085
- Monitors: An operating system structuring concept
- (1974) Commun. ACM , vol.17 , Issue.10 , pp. 549-557
- Hoare, C.A.R.¹

15
- 0018005391
- Communicating sequential processes
- (1978) Commun. ACM , vol.21 , Issue.8 , pp. 666-677
- Hoare, C.A.R.¹

16
- 0015397034
- Some deadlock properties of computer systems
- (1972) Comput. Surv. , vol.4 , Issue.3 , pp. 179-196
- Holt, R.C.¹

17
- 0017518741
- Symbolic Testing and the DISSECT symbolic evaluation system
- (1977) IEEE Trans. Software Engrg. , vol.3 SE , Issue.4 , pp. 266-278
- Howden, W.E.¹

18
- 84976723869
- Applicability of software validation techniques to scientific programs
- (1980) ACM Transactions on Programming Languages and Systems , vol.2 , Issue.3 , pp. 307-320
- Howden, W.E.¹

19
- 0020100204
- Deadlock-free systems for a bounded number of processes
- (1982) IEEE Trans. Comput. , vol.31 , Issue.3 , pp. 188-193
- Ibaraki, T.¹ Kameda, T.²

20
- 84933361028
- Ichbiah, J. et al.: Reference manual for the Ada programming language. Proposed standard document, Department of Defense, 1980

21
- 84976736892
- The complexity of problems in systems of communicating sequential processes
- (1980) Journal of Computer and System Sciences , vol.21 , Issue.2 , pp. 179-194
- Ladner, R.¹

22
- 84933361029
- Martin, F.: HAL S — The avionics programming system for shuttle. Proc. AIAA Conference on Computers in Aerospace. Los Angeles. CA. pp. 308–318, 1977

23
- 0017007140
- DAVE — A validation, error detection, and documentation system for Fortran programs
- (1976) Software-Practice and Experience , vol.6 , pp. 473-486
- Osterweil, L.J.¹ Fosdick, L.D.²

24
- 84933361030
- A software lifecycle methodology and tool support
- W.E., Riddle, R.E., Fairley, Springer, Berlin, Heidelberg, New York
- (1980) Software Development Tools , pp. 82-92
- Osterweil, L.J.¹

25
- 84933361031
- Osterweil, L.J.: A strategy for integrating program testing and analysis. In: Computer Program Testing, Chandrasekaran, B., Radicchi, S. (eds.). pp. 187–229, North-Holland, 1981

26
- 0016951439
- Verifying properties of parallel programs: an axiomatic approach
- (1976) Commun. ACM , vol.19 , Issue.5 , pp. 279-285
- Owicki, S.¹ Gries, D.²

27
- 84933361027
- Reif, J.H.: Data flow analysis of communicating processes. Proc. 6th ACM Symposium on Principles of Programming Languages. San Antonio, TX, pp. 257–268, 1979

28
- 84933360951
- Saxena, A.R.: Static detection of deadlocks. Department of Computer Science Technical Report, Number CU-CS-122-77, University of Colorado, 1977

29
- 84933360952
- Taylor, R.N., Osterweil, L.J.: A facility for verification, testing, and documentation of concurrent process software. Proc. COMPSAC 78, Chicago. IL, pp. 36–41, 1978

30
- 0019021104
- Anomaly detection in concurrent software by static data flow analysis
- (1980) IEEE-Trans. Software Engrg. , vol.6 SE , Issue.3 , pp. 265-278
- Taylor, R.N.¹ Osterweil, L.J.²

31
- 84933360947
- Taylor, R.N.: Static Analysis of the Synchronization Structure of Concurrent Programs. Ph.D. Thesis, University of Colorado, Department of Computer Science, 1980

32
- 84933360948
- Taylor, R.N.: An Algorithm for Analyzing Concurrent Programs. Department of Computer Science Technical Report #DCS-10-1R, University of Victoria, 1981 (To appear in Commun. ACM)

33
- 84933360949
- Taylor, R.N.: An integrated verification and testing environment. Department of Computer Science Technical Report # DCS-15-1R. University of Victoria, 1982

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