Community Research and Development Information Service - CORDIS

FP5

MIKADO Report Summary

Project ID: IST-2001-32222
Funded under: FP5-IST
Country: 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.

Related information

Contact

Vasco VASCONCELOS, (Professor)
Tel.: +35-12-17500087
Fax: +35-12-17500032
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top