SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1466, Issue , 1998, Pages 115-130

From higher-order π-calculus to π-calculus in the presence of static operators

(2) Vivas, José Luis a Dam, Mads b

a ROYAL INSTITUTE OF TECHNOLOGY (Sweden)

b SWEDISH INSTITUTE OF COMPUTER SCIENCE (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

TREES (MATHEMATICS);

COMMUNICATION CAPABILITIES; COMMUNICATION FEATURES; DYNAMIC INTERPRETATION; FIRST ORDER; HIGHER-ORDER; HIGHER-ORDER PROCESS; RESTRICTION OPERATORS; SYNTAX TREE;

CALCULATIONS;

EID: 84945952027 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/bfb0055619 Document Type: Conference Paper

Times cited : (10)

References (9)

1
- 0029229420
- Bisimulation can’t be traced
- January
- Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can’t be traced. Journal of the ACM, 42(1):232-268, January 1995.
- (1995) Journal of the ACM , vol.42 , Issue.1 , pp. 232-268
- Bloom, B.¹ Istrail, S.² Meyer, A.R.³

2
- 0031601027
- Proving trust in systems of second-order processes
- Available electronically at
- M. Dam. Proving trust in systems of second-order processes. In Proc. HICSS’31 IEEE Comp. Soc., VII:255-264, 1998. Available electronically at ftp://ftp.sics.se/pub/fdt/mfd/ptssop.ps.Z.
- (1998) Proc. HICSS’31 IEEE Comp. Soc. , vol.7 , pp. 255-264
- Dam, M.¹

3
- 84976193394
- Functions as processes
- Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-141, 1992.
- (1992) Journal of Mathematical Structures in Computer Science , vol.2 , Issue.2 , pp. 119-141
- Milner, R.¹

4
- 0002521052
- A calculus of mobile processes, Parts I and II
- September
- Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1-77, September 1992.
- (1992) Journal of Information and Computation , vol.100 , pp. 1-77
- Milner, R.¹ Parrow, J.² Walker, D.³

5
- 84968816021
- Barbed bisimulation
- W. Kuich, editor, sv
- Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proc. of 19th International Colloquium on Automata, Languages and Programming (ICALP '92), volume 623 of Ines, pages 685-695. sv, 1992.
- (1992) Proc. of 19th International Colloquium on Automata, Languages and Programming (ICALP '92), volume 623 of Ines , pp. 685-695
- Milner, R.¹ Sangiorgi, D.²

6
- 4243280848
- Revised full version as report ERCIM-10/97-R051, European Research Consortium for Informatics and Mathematics
- Uwe Nestmann and Benjamin C. Pierce. Decoding choice encodings. pages 179-194. Revised full version as report ERCIM-10/97-R051, European Research Consortium for Informatics and Mathematics, 1997.
- (1997) Decoding choice encodings , pp. 179-194
- Nestmann, U.¹ Pierce, B.C.²

7
- 84955567248
- The problem of "weak bisimulation up to"
- D. Sangiorgi and R. Milner. The problem of "weak bisimulation up to". Lecture Notes in Computer Science, 630:32-??, 1992.
- (1992) Lecture Notes in Computer Science , vol.630 , pp. 32
- Sangiorgi, D.¹ Milner, R.²

8
- 0003967839
- PhD thesis, LFCS, University of Edinburgh
- Davide Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, LFCS, University of Edinburgh, 1993.
- (1993) Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms
- Sangiorgi, D.¹

9
- 0003717664
- PhD thesis, Imperial College, University of London, September
- Bent Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College, University of London, September 1990.
- (1990) Calculi for Higher Order Communicating Systems
- Thomsen, B.¹

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