H ? « ‹ ← → › »

Language peer sets for Tyco:
Portugal↑
Portugal/0↑

Tyco(ID:6981/tyc004)

Country: Portugal

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:

(1998) 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

Nestmann, Uwe; Ravara, Antonio (2000) Nestmann, Uwe; Ravara, Antonio "What's TyCO, After All?" May 2000

Francisco Martins, Luís Lopes, Vasco Vasconcelos (2002) Francisco Martins, Luís Lopes, Vasco Vasconcelos "The Impact Of Linearity Information On The Performance Of TyCO" Elsevier 2002
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.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder