Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS


MIKADO Berichtzusammenfassung

Project ID: IST-2001-32222
Gefördert unter: FP5-IST
Land: 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.

Verwandte Informationen


Vasco VASCONCELOS, (Professor)
Tel.: +35-12-17500087
Fax: +35-12-17500032
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben