Typing non-uniform concurrent objects

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

Volumn 1877 LNCS, Issue , 2000, Pages 474-489

  Ravara, Antonio ^a   Vasconcelos, Vasco T ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMMUNICATION ERRORS; CONCURRENT OBJECTS; DYNAMIC ASPECTS; NON-UNIFORM; OBJECT CALCULI; PROCESS ALGEBRAS; TYPE SYSTEMS;

CALCULATIONS;

EID: 84885216303     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_34     Document Type: Conference Paper

References (28)

1. Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.
2. Roberto Amadio. An asynchronous model of locality, failure, and process mobility. In Coordination Languages and Models, LNCS 1282. Springer-Verlag, 1997.
3. Roberto Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous π-calculus. Theoretical Computer Science, 195(2): 291-324, 1998.
4. Michele Boreale. On the expressiveness of internal mobility in name-passing calculi. Theoreti cal C om puter Sci ence, 195(2): 205-226, 1998.
5. Gérard Boudol. Asynchrony and the π-calculus (note). Rapport de Recherche RR-1702, INRIA Sophia-Antipolis, 1992.
6. Gérard Boudol. Typing the use of resources in a concurrent calculus. In Advances in Computing Science, LNCS 1345, pages 239-253. Springer-Verlag, 1997.
7. Søren Christensen. Decidability and Decomposition in Process Algebras. PhD thesis ECS-LFCS-93-278, Dep. of Computer Science, University of Edinburgh, 1993.
8. Jean-Louis Colaço, Mark Pantel, and Patrick Sallé. A set constraint-based analyses of actors. In Proc. of FMOODS'97. IFIP, 1997.
9. Laurent Dami. Labelled reductions, runtime errors, and operational subsumption. In Proc. of ICALP'97, LNCS 1256, pages 782-793. Springer-Verlag, 1997.
10. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proc. of CONCUR'96, LNCS 1119, pages 406-421. Springer-Verlag, 1996.
11. Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP'91, LNCS 512, pages 141-162. Springer-Verlag, 1991.
12. Naoki Kobayashi. A partially deadlock-free typed process calculus. In Proc. of LICS'97, pages 128-139. Computer Society Press, 1997.
13. Massimo Merro and Davide Sangiorgi. On asynchrony in name-passing calculi. In Proc. of ICALP'98, LNCS 1443, pages 856-967. Springer-Verlag, 1998.
14. Robin Milner. Communication and Concurrency. C. A. R. Hoare Series Editor - Prentice-Hall, 1989.
15. Robin Milner. The polyadic π-calculus: a tutorial. In Logic and Algebra of Specification. Springer-Verlag, 1993.
16. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100: 1-77, 1992.
17. Elie Najm and Abdelkrim Nimour. A calculus of object bindings. In Proc. of FMOODS'97. IFIP, 1997.
18. Oscar Nierstrasz. Regular types for active objects. In Object-Oriented Software Composition, pages 99-121. Prentice-Hall, 1995.
19. Franz Puntigam. Coordination Requirements Expressed in Types for Active Objects. In Proc. of ECOOP'97, LNCS 1241, pages 367-388. Springer-Verlag, 1997.
20. António Ravara and Luís Lopes. Programming and implementation issues in nonuniform TyCO. Research report DCC-99-1, Department of Computer Science, Faculty of Sciences, University of Porto.
21. António Ravara, Pedro Resende, and Vasco T. Vasconcelos. An algebra of behavioural types. Research report 26/99 DM-IST, Technical University of Lisbon.
22. António Ravara and Vasco T. Vasconcelos. Behavioural types for a calculus of concurrent objects. In Proc. of Euro-Par'97, LNCS 1300, pages 554-561. Springer-Verlag, 1997.
23. António Ravara and Vasco T. Vasconcelos. Typing non-uniform concurrent objects. Research report 6/00 DM-IST, Technical University of Lisbon.
24. Eijiro Sumii and Naoki Kobayashi. A generalized deadlock-free process calculus. In Proc. of HLCL'98, Electronic Notes in Theoretical Computer Science, (16), 1998.
25. Vasco T. Vasconcelos. Processes, functions, and datatypes. Theory and Practice of Object Systems, 5(2): 97-110, 1999.
26. Vasco T. Vasconcelos and António Ravara. Communication errors in the π-calculus are undecidable. Information Processing Letters, 71(5-6): 229-233, 1999.
27. Vasco T. Vasconcelos and Mario Tokoro. A typing system for a calculus of objects. In Proc. of ISOTAS'93, LNCS 742, pages 460-474. Springer-Verlag, 1993.
28. Nobuko Yoshida. Graph types for monadic mobile processes. In Proc. of FST/TCS'96, LNCS 1180, pages 371-386. Springer-Verlag, 1996.