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

메뉴 건너뛰기

Formal Aspects of Computing

Volumn 6, Issue 3, 1994, Pages 269-316

Reasoning about dynamically evolving process structures

(2) America, Pierre a de Boer, Frank b

a PHILIPS RESEARCH LABORATORIES (Netherlands)

b EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

Author keywords

Completeness; Cooperation test; Dynamically evolving process structures; Pre and post conditions; Process creation; Proof theory; Soundness

Indexed keywords

EID: 0000824819 PISSN: 09345043 EISSN: 1433299X Source Type: Journal
DOI: 10.1007/BF01215408 Document Type: Article

Times cited : (24)

References (14)

1
- 23844461361
- Issues in the Design of a Parallel Object-Oriented Language
- (1989) Formal Aspects of Computing , vol.1 , pp. 366-411
- America, P.H.M¹

2
- 84934394539
- America, P. H. M., de Bakker, J. W., Kok, J. N. and Rutten, J. J. M. M.: Operational Semantics of a Parallel Object-Oriented Language. Conference Record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, pp. 194–208, 1986.

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

4
- 84976766710
- Ten Years of Hoare logic: A Survey—Part I
- (1981) ACM Transactions on Programming Languages and Systems , vol.3 , pp. 431-483
- Apt, K.R.¹

5
- 0020497159
- Formal Justification of a Proof System for Communicating Sequential Processes
- (1983) Journal of the ACM , vol.30 , pp. 197-216
- Apt, K.R.¹

6
- 84934394540
- de Bakker, J. W.: Mathematical Theory of Program Correctness. Prentice-Hall International, 1980.

7
- 84934394541
- Goldberg, A. and Robson, D.: Smalltalk-80, The Language and its Implementation. Addison-Wesley, 1984.

8
- 84945708698
- An Axiomatic Basis for Computer Programming
- (1969) Communications of the ACM , vol.12 , pp. 567-580
- Hoare, C.A.R.¹

9
- 0018005391
- Communicating Sequential Processes
- (1978) Communications of the ACM , vol.21 , pp. 666-677
- Hoare, C.A.R.¹

10
- 84934394535
- Hooman, J. and de Roever, W. P.: The Quest Goes On: Towards Compositional Proof Systems for CSP. In J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.): Current Trends in Concurrency, Springer LNCS 224, pp. 343–395, 1986.

11
- 84934394536
- Axiomatic Semantics of Access Type Tasks in Ada
- Institute of Informatics, University of Oslo, Norway
- (1986) Report No. 100
- Meldal, S.¹

12
- 84934394537
- Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, 1988.

13
- 84934394538
- Tucker, J. V. and Zucker, J. I.: Program Correctness over Abstract Data Types, with Error-State Semantics. CWI Monographs 6, North-Holland, 1988.

14
- 85034612320
- Compositionality and concurrent networks: soundness and completeness of a proof system
- LNCS 194, Springer, Nafplion, Greece
- (1985) Proceedings of the 12th ICALP , pp. 509-519
- Zwiers, J.¹ de Roever, W.P.² van Emde Boas, P.³

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