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

메뉴 건너뛰기

Information and Computation

Volumn 100, Issue 1, 1992, Pages 1-40

A calculus of mobile processes, I

(3) Milner, Robin a Parrow, Joachim b Walker, David c

a UNIVERSITY OF EDINBURGH (United Kingdom)

b SWEDISH INSTITUTE OF COMPUTER SCIENCE (Sweden)

c UNIVERSITY OF WARWICK (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44049113210 PISSN: 08905401 EISSN: 10902651 Source Type: Journal
DOI: 10.1016/0890-5401(92)90008-4 Document Type: Article

Times cited : (1952)

References (17)

1
- 0002534194
- The Lazy Lambda Calculus
- D. Turner, Addison-Wesley, Reading, MA
- (1988) Declarative Programming
- Abramsky¹

2
- 1242269539
- Parametric channels via label expressions in CCS
- (1984) Theoret. Comput. Sci. , vol.33 , pp. 45-64
- Astesiano¹ Zucca²

3
- 0021870594
- Algebra of Communicating Processes with Abstraction
- (1985) Theoretical Computer Science , vol.33 , pp. 77-121
- Bergstra¹ Klop²

4
- 84913422764
- Boudol, G. (1988), private communication.

5
- 0004292380
- MIT Artifical Intelligence Laboratory, AI-TR-633
- (1981) Foundations of Actor Semantics
- Clinger¹

6
- 0008606732
- Computer Science Department, University of Aarhus, Report DAIMI PB-208
- (1986) A Calculus of Communicating Systems with Label-Passing
- Engberg¹ Nielsen²

7
- 0003843704
- Prentice-Hall, Englewood Cliffs, NJ
- (1985) Communicating Sequential Processes
- Hoare¹

8
- 84913422763
- Cell and ensemble architecture for the rewrite rule machine
- (1988) Proc. International Conference on Fifth Generation Computing Systems, ICOT , pp. 869-878
- Leinwand¹ Goguen² Winkler³

9
- 0003954103
- Prentice-Hall, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner¹

10
- 84913422762
- Functions as Processes
- to appear
- (1990) J. Math. Stud. Comput. Sci.
- Milner¹

11
- 0004181456
- Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, and
- (1989) A Calculus of Mobile Processes, Part II
- Milner¹ Parrow² Walker³

12
- 44049114041
- (1992) Information and Computation , vol.100 , pp. 41-77
- Milner¹ Parrow² Walker³

13
- 0000830958
- The Typed λ-Calculus with First-Class Processes
- Springer-Verlag, Lecture Notes in Computer Science
- (1989) Proc. Parle , vol.366
- Nielsen¹

14
- 0024136159
- Fully abstract models of the lazy lambda calculus
- (1988) Proc. 29th Symposium on Foundations of Computer Science , pp. 368-376
- Ong¹

15
- 84913422761
- Petri Nets
- Springer-Verlag, Berlin/New York
- (1983) EATCS Monographs on Theoretical Computer Science
- Reisig¹

16
- 84913422760
- The Zero Assignment Parallel Processor (ZAPP) project
- D.A. Duce, Peter Peregrinus
- (1984) The Distributed Computing Systems Programme , pp. 250-269
- Sleep¹ Kennaway²

17
- 0003717664
- A calculus of higher-order communicating systems
- (1989) Proc. POPL Conference
- Thomsen¹

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