SCOPUS 정보 검색 플랫폼

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2001, Pages 311-322

Strong normalisation in the π-calculus

(3) Yoshida, N a Berger, M a Honda, K a

a UNIVERSITY OF LEICESTER (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROGRAMMING THEORY; THEOREM PROVING;

LINEAR LOGIC; NAME PASSING PROCESS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0034871529 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (49)

References (41)

1
- 0027574302
- Computational interpretation of linear logic
- (1993) TCS , vol.111 , pp. 3-57
- Abramsky, S.¹

2
- 0028766104
- Proofs as processes
- (1994) TCS , vol.135 , pp. 5-9
- Abramsky, S.¹

3
- 0002996223
- Games and full completeness for multiplicative linear logic
- (1994) JSL , vol.59
- Abramsky, S.¹ Jagadeesan, R.²

4
- 0034672933
- Full abstraction for PCF
- (2000) Info. & Comp. , vol.163 , pp. 409-470
- Abramsky, S.¹ Jagadeesan, R.² Malacaria, P.³

5
- 4243490175
- Process realizability, a tutorial workshop on realizability semantics and applications
- (1999)
- Abramsky, S.¹

6
- 0001439401
- Lambda calculi with types
- Oxford
- (1992) Handbook of Logic in Computer Science , vol.2 , pp. 118-310
- Barendregt, H.¹

7
- 0028766061
- On the Pi-calculus and linear logic
- (1994) TCS , vol.135 , pp. 11-65
- Bellin, G.¹ Scott, P.J.²

8
- 4243590462
- Sequentiality and the π-calculus
- to appear in Proc. TLCA01, LNCS, Springer
- (2001)
- Berger, M.¹ Honda, K.² Yoshida, N.³

9
- 4243511380
- Genericity and the π-calculus
- To appear as a CS technical report, Queen Mary
- Berger, M.¹ Honda, K.² Yoshida, N.³

10
- 0003403203
- Asynchrony and the pi-calculus
- (1992) INRIA Research Report 1702
- Boudol, G.¹

11
- 0002069980
- On Girard's "candidats de reductibilite"
- Academic Press Limited
- (1990) Logic and Computer Science , pp. 123-203
- Gallier, J.H.¹

12
- 0023171371
- Linear logic
- (1987) TCS , vol.50 , pp. 1-102
- Girard, J.-Y.¹

13
- 0003432047
- of Cambridge Tracts in Theoretical Computer Science, CUP
- (1989) Proofs and Types , vol.7
- Girard, J.-Y.¹ Lafont, Y.² Taylor, P.³

14
- 0004114762
- MIT Press
- (1992) Semantics of Programming Languages: Structures and Techniques
- Gunter, C.A.¹

15
- 0031606027
- PLAN: A packet language for active networks
- cf. [33]
- Proc. ICFP '98
- Hicks, M.¹ Kakkar, P.² Moore, J.T.³ Gunter, C.A.⁴ Nettles, S.⁵

16
- 85029492434
- Types for dyadic interaction
- (1993) CONCUR'93, LNCS 715 , pp. 509-523
- Honda, K.¹

17
- 0029719979
- Composing Processes
- ACM
- (1996) POPL '96 , pp. 344-357
- Honda, K.¹

18
- 84947741770
- Language primitives and type discipline for structured communication-based programming
- LNCS; Springer-Verlag
- (1998) ESOP '98 , pp. 122-138
- Honda, K.¹ Kubo, M.² Vasconcelos, V.³

19
- 84983016110
- An object calculus for asynchronous communication
- LNCS 512; Springer-Verlag
- (1991) ECOOP '91 , pp. 133-147
- Honda, K.¹ Tokoro, M.²

20
- 84947269249
- Secure information flow as typed process behaviour
- Springer-Verlag
- (2000) ESOP '00, LNCS 1782 , pp. 180-199
- Honda, K.¹ Vasconcelos, V.² Yoshida, N.³

21
- 0029404929
- On reduction-based process semantics
- North-Holland
- (1995) TCS , vol.151 , pp. 437-486
- Honda, K.¹ Yoshida, N.²

22
- 0034672932
- On full abstraction for PCF': I, II and III
- (2000) Info. & Comp. , vol.163 , pp. 285-408
- Hyland, M.¹ Ong, L.²

23
- 0004119738
- A generic type system for the pi-calculus
- (2001) POPL '01, ACM
- Igarashi, A.¹ Kobayashi, N.²

24
- 0032010343
- A partially deadlock-free typed process calculus
- (1998) ACM TOPLAS , vol.20 , Issue.2 , pp. 436-482
- Kobayashi, N.¹

25
- 84879077361
- Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness
- Springer
- (2000) Proc. of TCS2000, LNCS 1872 , pp. 365-389
- Kobayashi, N.¹

26
- 0029706996
- Linear types and π-calculus
- ACM Press
- (1996) POPL '96 , pp. 358-371
- Kobayashi, N.¹ Pierce, B.² Turner, D.³

27
- 0025251975
- Interaction nets
- ACM Press
- (1990) POPL '90 , pp. 95-108
- Lafont, Y.¹

28
- 84976193394
- Functions as processes
- CUP
- (1992) MSCS , vol.2 , Issue.2 , pp. 119-146
- Milner, R.¹

29
- 0347374462
- Polyadic π-calculus: A tutorial
- Proceedings of the International Summer School on Logic Algebra of Specification, Marktoberdorf, 1992
- Milner, R.¹

30
- 44049113210
- A calculus of mobile processes
- (1992) Info. & Comp. , vol.100 , Issue.1 , pp. 1-77
- Milner, R.¹ Parrow, J.G.² Walker, D.J.³

31
- 0003466440
- MIT Press
- (1996) Foundations for Programming Languages
- Mitchell, J.¹

32
- 0001518312
- Typing and subtyping for mobile processes
- IEEE
- (1993) LICS '93 , pp. 187-215
- Pierce, B.C.¹ Sangiorgi, D.²

33
- 84937419051
- PLAN: A packet language for active networks, switch-ware project
- University of Pennsylvania

34
- 0004020008
- On synchronous and asynchronous mobile processes
- Springer
- (2000) FoSSaCS 00, LNCS 1784 , pp. 283-296
- Quaglia, P.¹ Walker, D.²

35
- 0030260547
- π-calculus, internal mobility, and agent-passing calculi
- North-Holland
- (1996) TCS , vol.167 , Issue.2 , pp. 235-271
- Sangiorgi, D.¹

36
- 84951015470
- The name discipline of uniform receptiveness
- Springer
- (1997) ICALP '97, LNCS 1256 , pp. 303-313
- Sangiorgi, D.¹

37
- 0001748856
- Intensional interpretation of functionals of finite type, I
- (1967) J. Symb. Log , vol.32 , pp. 198-212
- Tait, W.¹

38
- 85024747258
- Typed concurrent objects
- Springer
- (1994) ECOOP '94, LNCS 821 , pp. 100-117
- Vasconcelos, V.¹

39
- 84857367674
- Principal typing scheme for polyadic π-calculus
- Springer-Verlag
- (1993) CONCUR '93, LNCS 715 , pp. 524-538
- Vasconcelos, V.¹ Honda, K.²

40
- 84947920982
- Graph types for monadic mobile processes
- Springer-Verlag; Full version as LFCS Technical Report, ECS-LFCS-96-350, 1996
- (1996) FST/TCS'16, LNCS 1180 , pp. 371-387
- Yoshida, N.¹

41
- 0004018584
- The full version of this paper; University of Leicester, March
- (2001) MCS Technical Report, 2001-09

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