Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

---

References

[1]

G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.

[2]

P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366--411, 1989.

[3]

N. Benton, L. Cardelli, and C. Fournet. Modern Concurrency Abstractions for c. In Informal Proceedings of the FOOL 9 workshop. ACM, January 2002.

[4]

P. D. Blasio and K. Fisher. A calculus for concurrent objects. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), LNCS 1119, pages 406--421, 1996.

[5]

G. Bracha and W. Cook. Mixin-Based Inheritance. In N. Meyrowitz, editor, European Conference on Object-Oriented Programming: Systems, Languages, and Applications, pages 303--311, Otawa, 1990. ACM press.

[6]

L. Cardelli. Obliq A language with distributed scope. Computing Systems, 8(1):27--59, 1995.

[7]

G. Chen, M. Odersky, C. Zenger, and M. Zenger. A functional view of join. Technical Report ACRC-99-016, University of South Australia, 1999.

[8]

S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. Hüttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP '98), pages 35--42, June 1998.

[9]

C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.

[10]

C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL '96, pages 372--385, Jan. 1996.

[11]

C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), LNCS 1119, pages 406--421, 1996.

[12]

C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Implicit typing à la ML for the join-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, LNCS 1243, pages 196--212, 1997.

[13]

A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In Nestmann and Pierce [22].

[14]

J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98). North-Holland, 1998.

[15]

F. Le Fessant. The JoCaml system prototype. Software and documentation available from http://pauillac.inria.fr/jocaml, 1998.

[16]

F. Le Fessant and L. Maranget. Compiling join-patterns. In Nestmann and Pierce [22].

[17]

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system, documentation and user's manual - release 3.04. Technical report, INRIA, December 2001. Documentation distributed with the Objective Caml system.

[18]

S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 4, pages 107--150. The MIT Press, 1993.

[19]

M. Merro, J. Kleist, and U. Nestmann. Mobile objects as mobile processes. Information and Computation, To appear.

[20]

J. Meseguer. Solving the inheritance anomaly in concurrent object-oriented programming. In O. M. Nierstrasz, editor, 7th European Conference on Object Oriented Programming, number 707 in LNCS, pages 220--246. SRI International, Springer Verlag, 1993.

[21]

R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1--40 and 41--77, Sept. 1992.

[22]

U. Nestmann and B. C. Pierce, editors. HLCL '98: High-Level Concurrent Languages, volume 16(3) of Electronic Notes in Theoretical Computer Science, Nice, France, Sept. 1998.

[23]

O. Nierstrasz. Towards an object calculus. In O. N. M. Tokoro and P. Wegner, editors, Proceedings of the ECOOP'91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1--20, 1992.

[24]

M. Odersky. Functional nets. In Proc. European Symposium on Programming, number 1782 in LNCS, pages 1--25. Springer Verlag, Mar. 2000.

[25]

M. Odersky. An overview of functional nets. In APPSEM Summer School, Caminha, Portugal, LNCS. Springer Verlag, Sept. 2000. To appear.

[26]

D. Rémy and J. Vouillon. Objective ML: A simple object-oriented extension to ML. In Proceedings of POPL '97, Jan. 1997. Available electronically at ftp://ftp.inria.fr/INRIA/Projects/cristal/ Didier.Remy/objective-ml!tapos98.ps.gz.

[27]

J. G. Riecke and C. A. Stone. Privacy via subsumption. Theory and Practice of Object Systems, 1999.

[28]

D. Sangiorgi. An interpretation of typed objects into typed p-calculus. Information and Computation, 143(1):34--73, 1998.

[29]

V. T. Vasconcelos. Typed concurrent objects. In 8th European Conference on Object Oriented Programming, volume 821 of Lecture Notes in Computer Science, pages 100--117. Springer-Verlag, July 1994.

[30]

J. Vouillon. Combining subsumption and binary methods: An object calculus with views. In Proceedings of POPL '01, Jan. 2001.

[31]

D. J. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253--271, 1995.

[32]

M. Wand. Complete type inference for simple objects. In Proceedings of the IEEE Symposium on Logic in Computer Science, Ithaca, NY, June 1987.

[33]

A. Yonezawa, J.-P. Briot, and E. Shibayama. Object-oriented concurrent programming in ABCL/1. ACM SIGPLAN Notices, 21(11):258--268, Nov. 1986. Proceedings of OOPSLA '86.

---