메뉴 건너뛰기




Volumn 177, Issue 2, 2002, Pages 195-241

Mobile objects as mobile processes

Author keywords

Migration; Objects; calculus

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; THEOREM PROVING;

EID: 0037107047     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0890-5401(02)93172-X     Document Type: Article
Times cited : (14)

References (35)
  • 1
    • 0004288194 scopus 로고    scopus 로고
    • Monographs in Computer Science, Springer-Verlag, Berlin
    • Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Monographs in Computer Science, Springer-Verlag, Berlin.
    • (1996) A Theory of Objects
    • Abadi, M.1    Cardelli, L.2
  • 2
    • 0001254695 scopus 로고    scopus 로고
    • On bisimulations for the asynchronous π-calculus
    • An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 147-162
    • Amadio, R. M., Castellani, I., and Sangiorgi, D. (1998) On bisimulations for the asynchronous π-calculus, Theoret. Comput. Sci. 195(2), 291-324. An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 147-162.
    • (1998) Theoret. Comput. Sci. , vol.195 , Issue.2 , pp. 291-324
    • Amadio, R.M.1    Castellani, I.2    Sangiorgi, D.3
  • 3
    • 0003403203 scopus 로고
    • Asynchrony and the π-calculus (note)
    • Rapport de Recherche 1702, INRIA Sophia-Antipolis
    • Boudol, G. (1992), "Asynchrony and the π-Calculus (note)," Rapport de Recherche 1702, INRIA Sophia-Antipolis.
    • (1992)
    • Boudol, G.1
  • 4
    • 0029631979 scopus 로고
    • A language with distributed scope
    • Short version in "Proceedings of POPL '95," a preliminary version appeared as Report 122, Digital Systems Rersearch, June 1994
    • Cardelli, L. (1995), A language with distributed scope, Computing Systems 8(1), 27-59, Short version in "Proceedings of POPL '95," a preliminary version appeared as Report 122, Digital Systems Rersearch, June 1994.
    • (1995) Computing Systems , vol.8 , Issue.1 , pp. 27-59
    • Cardelli, L.1
  • 5
    • 84955617486 scopus 로고    scopus 로고
    • A concurrent object calculus
    • (U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science; Springer-Verlag, Berlin. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996
    • Di Blasio, P., and Fisher, K. (1996), A concurrent object calculus, in "Proceedings of CONCUR '96" (U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science, Vol. 1119, pp. 655-670, Springer-Verlag, Berlin. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996.
    • (1996) Proceedings of CONCUR '96 , vol.1119 , pp. 655-670
    • Di Blasio, P.1    Fisher, K.2
  • 6
    • 0029703268 scopus 로고    scopus 로고
    • The reflexive chemical abstract machine and the join-calculus
    • Assoc. Comput. Mach., New York
    • Fournet, C., and Gonthier, G. (1996). The reflexive chemical abstract machine and the join-calculus, in "Proceedings of POPL '96," January, pp. 372-385 Assoc. Comput. Mach., New York.
    • (1996) "Proceedings of POPL '96," January , pp. 372-385
    • Fournet, C.1    Gonthier, G.2
  • 7
    • 19144362199 scopus 로고    scopus 로고
    • A concurrent object calculus: Reduction and typing
    • in "Proceedings of HLCL '98" (U. Nestmann and B. C. Pierce, Eds.); Elsevier Science, Amsterdam
    • Gordon, A. D., and Hankin, P. D. (1998), A concurrent object calculus: Reduction and typing, in "Proceedings of HLCL '98" (U. Nestmann and B. C. Pierce, Eds.), Electronic Notes in Theoretical Computer Science, Vol. 16.3, Elsevier Science, Amsterdam.
    • (1998) Electronic Notes in Theoretical Computer Science , vol.16 , Issue.3
    • Gordon, A.D.1    Hankin, P.D.2
  • 8
    • 84949201827 scopus 로고    scopus 로고
    • Compilation and equivalence of imperative objects
    • in "Proceedings of FSTTCS '97" (S. Ramesh and G. Sivakumar, Eds.); December; Springer-Verlag, Berlin. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997
    • Gordon, A. D., Hankin, P. D., and Lassen, S. B. (1997) Compilation and equivalence of imperative objects, in "Proceedings of FSTTCS '97" (S. Ramesh and G. Sivakumar, Eds.), Lecture Notes in Computer Science, Vol. 1346, December, pp. 74-87, Springer-Verlag, Berlin. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997.
    • (1997) Lecture Notes in Computer Science , vol.1346 , pp. 74-87
    • Gordon, A.D.1    Hankin, P.D.2    Lassen, S.B.3
  • 9
    • 0003759468 scopus 로고
    • Two bisimilarities for the ν-Calculus
    • Technical Report 92-002, Keio University
    • Honda, K. (1992), "Two Bisimilarities for the ν-Calculus," Technical Report 92-002, Keio University.
    • (1992)
    • Honda, K.1
  • 10
    • 84983016110 scopus 로고
    • An object calculus for asynchronous communication
    • in "Proceedings of ECOOP '91" (P. America, Ed.); July; Springer-Verlag, Berlin
    • Honda, K., and Tokoro, M. (1991) An object calculus for asynchronous communication, in "Proceedings of ECOOP '91" (P. America, Ed.), Lecture Notes in Computer Science, Vol. 512, July, pp. 133-147, Springer-Verlag, Berlin.
    • (1991) Lecture Notes in Computer Science , vol.512 , pp. 133-147
    • Honda, K.1    Tokoro, M.2
  • 11
    • 0029404929 scopus 로고
    • On reduction-based process semantics
    • An extract appeared in "Proceedings of FSTTCS '93," Lecture Notes in Computer Science, Vol. 761
    • Honda, K., and Yoshida, N. (1995), On reduction-based process semantics, Theoret. Comput. Sci. 152(2), 437-486. An extract appeared in "Proceedings of FSTTCS '93," Lecture Notes in Computer Science, Vol. 761.
    • (1995) Theoret. Comput. Sci. , vol.152 , Issue.2 , pp. 437-486
    • Honda, K.1    Yoshida, N.2
  • 12
    • 0012974486 scopus 로고    scopus 로고
    • Objects as mobile processes
    • Research Series RS-96-38, BRICS
    • Hüttel, H., and Kleist, J. (1996), Objects as mobile processes, in "MPFS '96," Research Series RS-96-38, BRICS.
    • (1996) MPFS '96
    • Hüttel, H.1    Kleist, J.2
  • 15
    • 0002113866 scopus 로고    scopus 로고
    • Imperative objects and mobile processes
    • (D. Gries and W.-P. de Roever, Eds.); International Federation for Information Processing (IFIP), Chapman & Hall, London
    • Kleist, J., and Sangiorgi, D. (1998), Imperative objects and mobile processes, in "Proceedings of PROCOMET '98" (D. Gries and W.-P. de Roever, Eds.), pp. 285-303, International Federation for Information Processing (IFIP), Chapman & Hall, London.
    • (1998) Proceedings of PROCOMET '98 , pp. 285-303
    • Kleist, J.1    Sangiorgi, D.2
  • 17
    • 23044518432 scopus 로고    scopus 로고
    • Locality and polyadicity in asynchronous name-passing calculi
    • in "Proceedings of FoSSaCS 2000" (J. Tiuryn, Ed.); Springer-Verlag, Berlin
    • Merro, M. (2000), Locality and polyadicity in asynchronous name-passing calculi, in "Proceedings of FoSSaCS 2000" (J. Tiuryn, Ed.), Lecture Notes in Computer Science, Vol. 1784, pp. 238-251, Springer-Verlag, Berlin.
    • (2000) Lecture Notes in Computer Science , vol.1784 , pp. 238-251
    • Merro, M.1
  • 18
    • 23044518432 scopus 로고    scopus 로고
    • Locality in the π-calculus and applications to distributed objects
    • Ph.D. thesis, Ecole des Mines, France
    • Merro, M. (2000), "Locality in the π-Calculus and Applications to Distributed Objects," Ph.D. thesis, Ecole des Mines, France.
    • (2000)
    • Merro, M.1
  • 19
    • 85026563474 scopus 로고    scopus 로고
    • On asynchrony in name-passing calculi
    • in "Proceedings of ICALP'98" (K. G. Larsen, S. Skyum, and G. Winskel, Eds.); July; Springer-Verlag, Berlin
    • Merro, M., and Sangiorgi, D. (1998), On asynchrony in name-passing calculi, in "Proceedings of ICALP'98" (K. G. Larsen, S. Skyum, and G. Winskel, Eds.), Lecture Notes in Computer Science, Vol. 1443, July, pp. 856-867, Springer-Verlag, Berlin.
    • (1998) Lecture Notes in Computer Science , vol.1443 , pp. 856-867
    • Merro, M.1    Sangiorgi, D.2
  • 20
    • 0000511698 scopus 로고
    • The polyadic π-calculus: A tutorial
    • in "Logic and Algebra of Specification" (F. L. Bauer, W. Brauer, and H. Schwichtenberg, Eds.); Series F, NATO Advanced Study Institute, Springer-Verlag, Berlin. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991
    • Milner, R. (1993), The polyadic π-calculus: A tutorial, in "Logic and Algebra of Specification" (F. L. Bauer, W. Brauer, and H. Schwichtenberg, Eds.), Computer and System Sciences, Vol. 94, Series F, NATO Advanced Study Institute, Springer-Verlag, Berlin. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.
    • (1993) Computer and System Sciences , vol.94
    • Milner, R.1
  • 21
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • in "Proceedings of ICALP '92" (W. Kuich, Ed.); Springer-Verlag, Berlin
    • Milner, R., and Sangiorgi, D. (1992), Barbed bisimulation, in "Proceedings of ICALP '92" (W. Kuich, Ed.), Lecture Notes in Computer Science, Vol. 623, pp. 685-695, Springer-Verlag, Berlin.
    • (1992) Lecture Notes in Computer Science , vol.623 , pp. 685-695
    • Milner, R.1    Sangiorgi, D.2
  • 22
    • 0003561748 scopus 로고
    • Lambda calculus models of programming languages
    • Ph.D. thesis, MIT
    • Morris, J.-H. (1968), "Lambda Calculus Models of Programming Languages," Ph.D. thesis, MIT.
    • (1968)
    • Morris, J.-H.1
  • 23
    • 0037172652 scopus 로고    scopus 로고
    • Aliasing models for mobile objects
    • An extended abstract has appeared as Distinguished Paper in the (2000), "Proceedings of EUROPAR '99," Lecture Notes in Computer Science, Vol. 1685
    • Nestmann, U., Hüttel, H., Kleist, J., and Merro, M., Aliasing models for mobile objects, Inform. and Comput. 175(1), 3-33, Available at http://www.cs.auc.dk/research/FS/ojeblik/. An extended abstract has appeared as Distinguished Paper in the (2000), "Proceedings of EUROPAR '99," Lecture Notes in Computer Science, Vol. 1685.
    • Inform. and Comput. , vol.175 , Issue.1 , pp. 3-33
    • Nestmann, U.1    Hüttel, H.2    Kleist, J.3    Merro, M.4
  • 24
    • 0001274327 scopus 로고    scopus 로고
    • On transformations of concurrent object programs
    • An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 131-146
    • Philippou, A., and Walker, D. (1998), On transformations of concurrent object programs, Theoret. Comput. Sci. 195(2), 259-289, An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 131-146.
    • (1998) Theoret. Comput. Sci. , vol.195 , Issue.2 , pp. 259-289
    • Philippou, A.1    Walker, D.2
  • 25
    • 0001518312 scopus 로고    scopus 로고
    • Typing and subtyping for mobile processes
    • An extract appeared in "Proceedings of LICS '93" pp. 376-385
    • Pierce, B. C., and Sangiorgi, D. (1996), Typing and subtyping for mobile processes. Mathematical Structures in Comput. Sci. 6(5), 409-454, An extract appeared in "Proceedings of LICS '93" pp. 376-385.
    • (1996) Mathematical Structures in Comput. Sci. , vol.6 , Issue.5 , pp. 409-454
    • Pierce, B.C.1    Sangiorgi, D.2
  • 26
    • 85031377395 scopus 로고    scopus 로고
    • Locality and non-interleaving semantics in calculi for mobile processes
    • See also Report ECS-LFCS-94-282, University of Edinburgh. An extract appeared in "Proceedings of TACS'94," Lecture Notes in Computer Science, Vol. 789
    • Sangiorgi, D. (1996), Locality and non-interleaving semantics in calculi for mobile processes, Theoret. Comput. Sci. 155(1), 39-83. See also Report ECS-LFCS-94-282, University of Edinburgh. An extract appeared in "Proceedings of TACS'94," Lecture Notes in Computer Science, Vol. 789
    • (1996) Theoret. Comput. Sci. , vol.155 , Issue.1 , pp. 39-83
    • Sangiorgi, D.1
  • 27
    • 0003090693 scopus 로고    scopus 로고
    • An interpretation of typed objects into typed π-calculus
    • Earlier version published as Rapport de Recherche RR-3000, INRIA Sophia-Antipolis, August 1996
    • Sangiorgi, D. (1998), An interpretation of typed objects into typed π-calculus, Information and Computation 143(1), 34-73. Earlier version published as Rapport de Recherche RR-3000, INRIA Sophia-Antipolis, August 1996.
    • (1998) Information and Computation , vol.143 , Issue.1 , pp. 34-73
    • Sangiorgi, D.1
  • 28
    • 0000973591 scopus 로고    scopus 로고
    • The name discipline of uniform receptiveness
    • An abstract appeared in the "Proceedings of ICALP '97," Lecture Notes in Computer Science, Vol. 1256, pp. 303-313
    • Sangiorgi, D. (1999), The name discipline of uniform receptiveness, Theoret. Comput. Sci. 221(1/2), 457-493. An abstract appeared in the "Proceedings of ICALP '97," Lecture Notes in Computer Science, Vol. 1256, pp. 303-313.
    • (1999) Theoret. Comput. Sci. , vol.221 , Issue.1-2 , pp. 457-493
    • Sangiorgi, D.1
  • 29
    • 0032785067 scopus 로고    scopus 로고
    • The typed π-calculus at work: A proof of Jone's parallelisation theorem on concurrent objects
    • An early version was included in the "Informal Proceedings of FOOL 4," January 1997
    • Sangiorgi, D. (1999), The typed π-calculus at work: A proof of Jone's parallelisation theorem on concurrent objects, Theory and Practice of Object-Oriented Systems 5(1), 25-33. An early version was included in the "Informal Proceedings of FOOL 4," January 1997.
    • (1999) Theory and Practice of Object-Oriented Systems , vol.5 , Issue.1 , pp. 25-33
    • Sangiorgi, D.1
  • 30
    • 0012978058 scopus 로고    scopus 로고
    • Lazy functions and mobile processes
    • (G. Plotkin, C. Stirling, and M. Tofte, Eds.), MIT Press, Cambridge, MA, Available as INRIA Sophia-Antipolis Rapport de Recherche RR-2515
    • Sangiorgi, D. (2000), Lazy functions and mobile processes, in "Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing" (G. Plotkin, C. Stirling, and M. Tofte, Eds.), MIT Press, Cambridge, MA, Available as INRIA Sophia-Antipolis Rapport de Recherche RR-2515.
    • (2000) Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing
    • Sangiorgi, D.1
  • 31
    • 84955567248 scopus 로고
    • The problem of "weak bisimulation up to"
    • in "Proceedings of CONCUR '92" (R. Cleaveland, Ed.); Springer-Verlag, Berlin
    • Sangiorgi, D., and Milner, R. (1992), The problem of "weak bisimulation up to," in "Proceedings of CONCUR '92" (R. Cleaveland, Ed.), Lecture Notes in Computer Science, Vol. 630, pp. 32-46, Springer-Verlag, Berlin.
    • (1992) Lecture Notes in Computer Science , vol.630 , pp. 32-46
    • Sangiorgi, D.1    Milner, R.2
  • 32
    • 0004053330 scopus 로고    scopus 로고
    • The π-calculus: A theory of mobile processes
    • Cambridge University Press, Cambridge, UK
    • Sangiorgi, D., and Walker, D. (2001), "The π-Calculus: A Theory of Mobile Processes," Cambridge University Press, Cambridge, UK.
    • (2001)
    • Sangiorgi, D.1    Walker, D.2
  • 33
    • 0012623792 scopus 로고    scopus 로고
    • Obliq semantics notes
    • Unpublished note
    • Talcott, C. L. (1996), Obliq semantics notes, Unpublished note, available at clt@cs.stanford.edu
    • (1996)
    • Talcott, C.L.1
  • 35
    • 0001216410 scopus 로고
    • Objects in the π-calculus
    • Walker, D. (1995), Objects in the π-calculus, Infor. and Comput. 116(2), 253-271.
    • (1995) Infor. and Comput. , vol.116 , Issue.2 , pp. 253-271
    • Walker, D.1


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