SCOPUS 정보 검색 플랫폼

Volumn 266, Issue 1-2, 2001, Pages 569-603

Bisimulations in the join-calculus

(6) Raphael, Primrose a Takakuwa, Yuichi b Manno, Sumie b Liu, Shih Chun a Chishti, Athar H a Hanspal, Manjit a

a TUFTS UNIVERSITY SCHOOL OF MEDICINE (United States)

b TOKYO WOMEN'S MEDICAL UNIVERSITY (Japan)

Author keywords

calculus; Asynchronous processes; Barbed congruence; Bisimulation; Chemical semantics; Concurrency; Join calculus; Locality; Name matching

Indexed keywords

COMPUTER SIMULATION; MOBILE RADIO SYSTEMS; SEMANTICS;

BISIMULATIONS;

COMPUTER SCIENCE;

EID: 0035817803 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00283-8 Document Type: Article

Times cited : (15)

References (37)

1
- 84982909952
- Secure implementation of channel abstractions
- IEEE Press, New York, June
- (1998) Proc. 13th Symp. on Logic in Computer Science. (LICS'98) , pp. 105-116
- Abadi, M.¹ Fournet, C.² Gonthier, G.³

2
- 0033715532
- Authentication primitives and their compilation
- ACM Press, New York, January
- (2000) Proc. 27th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL'00) , pp. 302-315
- Abadi, M.¹ Fournet, C.² Gonthier, G.³

3
- 84887505813
- An asynchronous model of locality, failure, and process mobility, Proc. COORDINATION'97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1282
- Amadio, R.M.¹

4
- 0001254695
- On bisimulations for the asynchronous π-calculus
- (1998) Theoret. Comput. Sci. , vol.195 , Issue.2 , pp. 291-324
- Amadio, R.M.¹ Castellani, I.² Sangiorgi, D.³

5
- 0025509946
- The Gamma model and its discipline of programming
- (1990) Sci. Comput. Programming , vol.15 , pp. 55-77
- Banâtre, J.-P.¹ Métayer, D.L.²

6
- 0000203887
- On the expressiveness of internal mobility in name-passing calculi
- (1998) Theoret. Comput. Sci. , vol.195 , Issue.2 , pp. 205-226
- Boreale, M.¹

7
- 0002417520
- Bisimulations in the join-calculus
- IFIP, Chapman & Hall, London, June
- (1998) Proc. PROCOMET'98 , pp. 68-86
- Boreale, M.¹ Fournet, C.² Laneve, C.³

8
- 0036308321
- Proof techniques for cryptographic processes
- IEEE Press, New York, July
- (1999) Proc. 14th Symp. on Logic in Computer Science (LICS'99)
- Boreale, M.¹ Nicola, R.D.² Pugliese, R.³

9
- 85022807037
- Bisimulation in name-passing calculi without matching
- IEEE Press, New York, June
- (1998) Proc. LICS'98
- Boreale, M.¹ Sangiorgi, D.²

10
- 0001645384
- Some congruence properties for π-calculus bisimilarities
- (1998) Theoret. Comput. Sci. , vol.198 , Issue.1-2 , pp. 159-176
- Boreale, M.¹ Sangiorgi, D.²

11
- 0003403203
- Rapport de recherche 1702, INRIA Sophia-Antipolis, May
- (1992) Asynchrony and the π-calculus (note)
- Boudol, G.¹

12
- 84945270127
- Jocaml: Mobile agents for objective-caml
- IEEE Press, October, New York
- (1999) Proc. ASA/MA'99 , pp. 22-29
- Conchon, S.¹ Le Fessant, F.²

13
- 0003864009
- Proc. 24th Colloq. on Automata, Languages and Programming (ICALP'97), Springer, Berlin, July
- (1997) Lecture Notes in Computer Science , vol.1256
- Degano, P.¹ Gorrieri, R.² Marchetti-Spaccamela, A.³

14
- 0004092784
- Ph.D. Thesis, Ecole Polytechnique, Palaiseau, November
- (1998) The join-calculus: A calculus for distributed mobile programming
- Fournet, C.¹

15
- 0029703268
- The reflexive chemical abstract machine and the join-calculus
- ACM Press, New York, January
- (1996) Proc. POPL'96 , pp. 372-385
- Fournet, C.¹ Gonthier, G.²

16
- 0003914586
- A hierarchy of equivalences for asynchronous calculi (extended abstract)
- Larsen et al. [24]
- Fournet, C.¹ Gonthier, G.²

17
- 84955565479
- A calculus of mobile agents
- U. Montanari, V. Sassone (Eds.), Lecture Notes in Computer Science, Springer, Berlin, August
- (1996) Proc. 7th Internat. Conf. on Concurrency Theory (CONCUR'96) , vol.1119 , pp. 406-421
- Fournet, C.¹ Gonthier, G.² Lévy, J.-J.³ Maranget, L.⁴ Rémy, D.⁵

18
- 84957891695
- Implicit typing à la ML for the join-calculus
- A. Mazurkiewicz, J. Winkowski (Eds.) (Eds.), Lecture Notes in Computer Science, Springer, Berlin, July
- (1997) Proc. 8th Internat. Conf. Concurrency Theory , vol.1243 , pp. 196-212
- Fournet, C.¹ Laneve, C.² Maranget, L.³ Rémy, D.⁴

19
- 0003753507
- June
- (1997) The join-calculus language (version 1.03 beta)
- Fournet, C.¹ Maranget, L.²

20
- 84983016110
- An object calculus for asynchronous communication
- P. America (Ed.), Springer, Berlin
- (1991) Proc. ECOOP'91 Conf. , vol.512 , pp. 133-147
- Honda, K.¹ Tokoro, M.²

21
- 85022894365
- On asynchronous communication semantics
- P. Wegner, M. Tokoro, O. Nierstrasz (Eds.), Proc. of the ECOOP'91 Workshop on Object-Based Concurrent Computing, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.612 , pp. 21-51
- Honda, K.¹ Tokoro, M.²

22
- 0029404929
- On reduction-based process semantics
- (1995) Theoret. Comput. Sci. , vol.152 , Issue.2 , pp. 437-486
- Honda, K.¹ Yoshida, N.²

23
- 0003868368
- Technical Report UBLCS 96-04, University of Bologna, March (Revised: May 1996)
- (1996) May and must testing in the join-calculus
- Laneve, C.¹

24
- 0003864013
- Proc. 25th Internat. Colloq. on Automata, Languages and Programming (ICALP'98), Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1443
- Larsen, K.¹ Skyum, S.² Winskel, G.³

25
- 85026563474
- K. Larsen, S. Skyum, G. Winskel, (Eds.), [24]
- On asynchrony in name-passing calculi , pp. 856-867
- Merro, M.¹ Sangiorgi, D.²

26
- 0003954103
- Prentice Hall, New York
- (1989) Communication and Concurrency
- Milner, R.¹

27
- 0000511698
- The polyadic π-calculus: A tutorial
- F.L. Bauer, W. Brauer, H. Schwichtenberg (Eds.), Springer, Berlin
- (1993) Logic and Algebra of Specification
- Milner, R.¹

28
- 44049113210
- A calculus of mobile processes Parts I and II
- (1992) Inform. and Comput. , vol.100 , pp. 1-40
- Milner, R.¹ Parrow, J.² Walker, D.³

29
- 84968816021
- Barbed bisimulation
- W. Kuich (Ed.), Proc. ICALP'92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 685-695
- Milner, R.¹ Sangiorgi, D.²

30
- 84947713182
- Checking bisimilarity for finitary π-calculus
- I. Lee, S.A. Smolka (Eds.), Lecture Notes in Computer Science, Springer, Berlin
- (1995) Proc. 6th Internat. Conf. on Concurrency Theory (CONCUR'95) , vol.962 , pp. 42-56
- Montanari, U.¹ Pistore, M.²

31
- 0003807953
- On the expressive power of joint input
- C. Palamidessi, I. Castellani (Eds.), EXPRESS'98: Expressiveness in Concurrency, Vol. 16.2, Elsevier, Amsterdam, September
- (1998) Electronic Notes in Theoretical Computer Science
- Nestmann, U.¹

32
- 4244064827
- P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela (Eds.), [13]
- Distributed processes and location failures , pp. 471-481
- Riely, J.¹ Hennessy, M.²

33
- 0003967839
- Ph.D. Thesis, University of Edinburgh, May
- (1993) Expressing mobility in process algebras: First-order and higher-order paradigms
- Sangiorgi, D.¹

34
- 0004240072
- On the bisimulation proof method
- Revised version of Technical Report ECS-LFCS-94-299, University of Edinburgh, An extended abstract appears in Proc. of MFCS'95
- (1994) Lecture Notes in Computer Science , vol.969
- Sangiorgi, D.¹

35
- 4243731618
- P. Degano, R. Gorrieri, A. Marchetti-Spaccamela, (Eds.), [13]
- The name discipline of uniform receptiveness , pp. 303-313
- Sangiorgi, D.¹

36
- 84955567248
- The problem of "weak bisimulation up to"
- W.R. Cleaveland (Ed.), Proc. CONCUR'92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.630 , pp. 32-46
- Sangiorgi, D.¹ Milner, R.²

37
- 85006239926
- The mobility workbench - A tool for the π-calculus
- Proc. CAV'94, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.818 , pp. 428-440
- Victor, B.¹ Moller, F.²

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