Behavioural types for a calculus of concurrent objects

  • António Ravara
  • Vasco Vasconcelos
Workshop 05+06: Programming Languages and Concurrent Object-Oriented Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1300)


We present a new type system for TyCO, a name-passing calculus of concurrent objects. The system captures dynamic aspects of objects' behaviours, namely non-uniform service availability of active objects. The notion of processes without errors is loosened, demanding only weak fairness in the treatment of messages.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Agh86]
    G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.Google Scholar
  2. [HT91]
    K. Honda and M. Tokoro. An object calculus for asynchronous communication. In ECOOP'91, pages 141–162. Springer-Verlag LNCS 512, 1991.Google Scholar
  3. [KY95]
    N. Kobayashi and A. Yonezawa. Towards foundations of concurrent object-oriented programming-types and language design. Theory and Practice of Object Systems, 1(4), 1995.Google Scholar
  4. [LW95]
    X. Liu and D. Walker. A polymorphic type system for the polyadic π-calculus. In Concur'95, pages 103–116. Springer-Verlag LNCS 962, 1995.Google Scholar
  5. [Mil89]
    R. Milner. Communication and Concurrency. C. A. R. Hoare Series Editor — Prentice-Hall Int., 1989.Google Scholar
  6. [MPW92]
    R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, i e ii. Information and Computation, 100:1–77, 1992.MathSciNetCrossRefGoogle Scholar
  7. [Nie95]
    O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition, pages 99–121. Prentice Hall, 1995.Google Scholar
  8. [Pun96]
    F. Puntigam. Types for a active objects based on trace semantics. In FMOODS'96, 1996.Google Scholar
  9. [RV97]
    A. Ravara and V. Vasconcelos. Behavioural types for a calculus of concurrent objects. Technical report DM-IST 6/97, Department of Mathematics, Instituto Superior Técnico, 1096 Lisboa, Portugal, 1997. Available from Scholar
  10. [VH93]
    V. Vasconcelos and K. Honda. Principal typing-schemes in a polyadic π-calculus. In Concur'93, pages 524–538. Springer-Verlag LNCS 715, 1993.Google Scholar
  11. [VT93]
    V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In 1st ISOTAS, pages 460–474. Springer-Verlag LNCS 742, 1993.Google Scholar
  12. [Yos96]
    N. Yoshida. Graph types for monadic mobile processes. In 16th FST/TCS, pages 371–386. Springer-Verlag LNCS 1180, 1996. *** DIRECT SUPPORT *** A0008C42 00019Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • António Ravara
    • 1
  • Vasco Vasconcelos
    • 2
  1. 1.Departamento de Matemática Instituto Superior TécnicoUniversidade Técnica de LisboaPortugal
  2. 2.Departamento de Informática Faculdade de CiênciasUniversidade de LisboaPortugal

Personalised recommendations