Tyco(ID:6981/tyc004)

for Typed Concurrent

Core-T yCO The Language Definition Version 0.1 - Vasco Vasconcelos   (Correct)
Tyco Is TyCO User's Manual - Luís Lopes, Fernando Silva.. (1999)   (Correct)
Core-T yCO The Language Definition Version 0.1 - Vasco Vasconcelos   (Correct)
References:
  • Typed Concurrent Objects - TyCO User's Manual version 0.1 (alpha) Lu'is Lopes Departamento de Ciencia de Computadores Faculdade de Ciencias, Universidade do Porto January 1998 view details
  • Nestmann, Uwe; Ravara, Antonio "What's TyCO, After All?" May 2000 view details
  • Francisco Martins, Luís Lopes, Vasco Vasconcelos "The Impact Of Linearity Information On The Performance Of TyCO" Elsevier 2002 view details
    Resources
    • TyCo home page
      TyCO - Typed Concurrent Objects, is an implicitly typed polymorphic concurrent language based on an extension of the asynchronous pi-calculus featuring first class objects, asynchronous messages and process definitions. Definitions allow, among other things, for object classes to be modeled. A type system assigns monomorphic types to variables and polymorphic types to definition identifiers. TyCO provides a very clean model for a concurrent object-based language which combines the benefits of the formal framework of process calculi with the characteristics of Hewitt's actor system. external link