Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

MIKADO Informe resumido

Project ID: IST-2001-32222
Financiado con arreglo a: FP5-IST
País: Portugal

TyCO: Object-oriented distributed programming language

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 modelled. 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.

Información relacionada

Contacto

Vasco VASCONCELOS, (Professor)
Tel.: +35-12-17500087
Fax: +35-12-17500032
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba