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

메뉴 건너뛰기

Formal Aspects of Computing

Volumn 5, Issue 5, 1993, Pages 432-466

Communicating processes with value-passing and assignments

(2) Hennessy, M a Ingolfsdottir A a

a UNIVERSITY OF SUSSEX (United Kingdom)

Author keywords

Communicating processes; Denotational models; Occam; Testing; Value passing

Indexed keywords

EID: 0346946394 PISSN: 09345043 EISSN: 1433299X Source Type: Journal
DOI: 10.1007/BF01212486 Document Type: Article

Times cited : (11)

References (23)

1
- 0021465083
- A Theory of Communicating Sequential Processes
- (1984) JACM , vol.31 , Issue.7 , pp. 560-599
- Brookes, S.D.¹ Hoare, C.A.R.² Roscoe, A.W.³

2
- 0013212521
- A Tutorial on LOTOS
- M., Diaz, North-Holland, Amsterdam
- (1986) Proceedings of IFIP Workshop on Protocol Specification, Testing and Verification V , pp. 73-84
- Brinksma, E.¹

3
- 0020845493
- Testing Equivalences for Processes
- (1984) Theoretical Computer Science , vol.24 , pp. 83-113
- De Nicola, R.¹ Hennessy, M.²

4
- 0021453469
- A Linear History of Semantics for Languages with Distributed Processing
- (1984) TCS , vol.32 , pp. 25-46
- Francez, N.¹ Lehman, D.² Pnueli, A.³

5
- 84934558032
- Guessarian, I., “Algebraic Semantics”, Springer-Verlag Lecture Notes in Computer Science, vol.99, 1981.

6
- 84934558036
- Hennessy, M., Ingólfsdóttir, A. A Theory of Communicating Processes With Value-Passing, University of Sussex Technical Report No 3/89, 1989. To appear in Information and Computation

7
- 0022145767
- Acceptance Trees
- (1985) Journal of the ACM , vol.32 , Issue.4 , pp. 896-928
- Hennessy, M.¹

8
- 0004189966
- MIT Press, Cambridge
- (1988) Algebraic Theory of Processes
- Hennessy, M.¹

9
- 0012589373
- A Proof System for Communicating Processes With Value - Passing
- (1991) Formal Aspects of Computing , vol.3 , pp. 346-366
- Hennessy, M.¹

10
- 84934558037
- Hennessy, M. and Plotkin, G., “A Term Model for CCS”, Springer-Verlag Lecture Notes in Computer Science, vol.88, 1980.

11
- 0018005391
- Communicating Sequential Processes
- (1978) Comm. ACM , vol.21 , Issue.8 , pp. 666-677
- Hoare, C.A.R.¹

12
- 0003843704
- Prentice-Hall International, London
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

13
- 0024087387
- The Laws of Occam
- (1988) TCS , vol.60 , pp. 177-229
- Hoare, C.A.R.¹ Roscoe, A.W.²

14
- 0004163765
- Inmos Ltd., Prentice-Hall, London
- (1984) The Occam Programming Manual

15
- 0003630836
- A Calculus of Communicating Systems
- Springer-Verlag, Berlin
- (1980) Lecture Notes in Computer Science 92
- Milner, R.¹

16
- 84934558034
- Milne, R., “Concurrency Models and Axioms”, RAISE/STC/REM/6/V2, STC Technology Ltd., 1988.

17
- 84915324965
- Prentice-Hall, London
- (1989) Calculus for Communication and Concurrency
- Milner, R.¹

18
- 84934558035
- Olderog, E.R., Process Theory: Semantics, Specifications and Verifications, in J.W. deBakker, W.P. deRover, G. Rozenberg (Eds), Current Trends in Concurrency, Lecture Notes in Computer Science 224, Springer-Verlag, 1986, pp 442–509.

19
- 84934558030
- Plotkin, G., “Lecture Notes in Domain Theory”, University of Edinburgh, 1981.

20
- 84934558020
- Plotkin, G., “An Operational Semantics for CSP”, Proc. of IFIP WG 2.2, Working Conference on Formal Description of Programming Concepts 11, 1989.

21
- 84934558021
- Roscoe, A.W., “Denotational Semantics for Occam”, PRG Monograph, Oxford University, 1988.

22
- 84934558022
- Schmidt, D., Denotational Semantics, Allen and Bacon, 1986.

23
- 84934558023
- Smyth, M. and Plotkin, G., “The Category-Theoretic Solution of Recursive Domain Equations”, SIAM Journal on Computing, vol.11, No.4, 1982.

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