A calculus for concurrent objects

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

Volumn 1119, Issue , 1996, Pages 655-670

  Di Blasio, Paolo ^a   Fisher, Kathleen ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; STATIC ANALYSIS;

CONCURRENT OBJECTS; FUNCTIONAL OBJECT; OPERATIONAL SEMANTICS; RUN TIME SYSTEMS; SUBJECT REDUCTION; SYNCHRONIZATION CODES; TRANSITION RELATIONS; TYPE INFERENCES;

CALCULATIONS;

EID: 84955617486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_82     Document Type: Conference Paper

References (27)

1. M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first order systems. In Proc. of TACS’94, 1994.
2. M. Abadi and L. Cardelli. An imperative object calculus: basic typing and soundness. In Proc. of second ACM-SIGPLAN workshop on state in programming Languages, 1995.
3. G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, Mass., 1986.
4. G. Agha. Concurrent object-oriented programming. In Communication ACM 33(9), 1990.
5. P. America. Issue in the design of a parallel object-oriented language. In Formal Aspects of Computing, 1, 366-411, 1989.
6. G. Agha, I. Mason, S. Smith, and C. Talcott. Towards a theory of actor computation. In Proc. of CONCUR’92, 1992.
7. D. Caromel. Towards a method of concurrent object-oriented programming. In Communication of ACM, 36(9), 1993.
8. L. Cardelli. A language with distributed scope. In Computing Systems, 8(1):27-59, 1995.
9. R. Chandra, A. Gupta, and J. Hennessy. COOL: A language for parallel programming. In Proc. 2nd workshop on programming languages and compilers for parallel computing, IEEE CS, 1989.
10. P. Di Blasio and K. Fisher. A calculus for concurrent objects. Stanford University, Technical Note STAN-CS-TN-96-35, 1996.
11. S. Frolund and G. Agha. A language framework for multi-object coordination. In Proc. of ECOOP’93, 1993.
12. K. Fisher, F. Home R, and J.C. Mitchell. A lambda calculus of objects and method specialization. In Nordic J. Computing (formerly BIT), 1:3-37, 1994. Preliminary version appeared in Proc. IEEE Syrup. on Logic in Computer Science, 26-38, 1993.
13. K. Fisher and J.C. Mitchell. Notes on typed object-oriented programming. In Proc. Theoretical Aspects of Computer Software, pages 844-885. Springer LNCS 789, 1994.
14. K. Fisher and J.C. Mitchell. A delegation-based object calculus with subtyping. In Proc. 10th Int’l Conf. Fundamentals of Computation Theory (FCT’95), pages 42-61. Springer LNCS 965, 1995.
15. R. Harper. A simplified account of polymorphic references. In Information Processing Letters 51(4), 1994.
16. C. Jones. A pi-calculus semantics for an object-based design notation. In Proc. of CONCUR’93, 1993.
17. N. Kobayashi and A. Yonezawa. Type theoretic foundations for objectoriented concurrent programming. In Proc. of OOPSLA’94, 1994.
18. J. Lucassen and D. Gifford. Polymorphic effect systems. In Proc. of POPL’88, 1988.
19. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in objectoriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.
20. O. Nierstrasz. Towards an object calculus. In Proc. of the ECOOP’91 Workshop on Object-Based Concurrent Computing, 1992.
21. O. Nierstrasz. Regular types for active objects. In Proc. of OOPSLA’93, 1993.
22. F. Nielson and H. Nielson. From CML to process algebra. In Proc. of CONCUR’93, 1993.
23. B. Pierce and D. Turner. Concurrent objects in a process calculus. In Proc. of Theory and Practice of Parallel Programming, 1994.
24. C. Talcott. Interaction semantics for components of distributed systems. In Proc. of FMOODS96, 1996.
25. V.T. Vasconcelos. Typed concurrent objects. In Proc. ECOOP’94, 1994.
26. B. Wyatt, K. Kavi, and S. Hufnagel. Parallelism in object-oriented languages: A survey. In IEEE Software, 1992.
27. A. Yonezawa. ABCL: An object-oriented concurrent system. MIT Press, Cambridge, Mass., 1990.