Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

FP5

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

Reported by

FUNDACAO DA FACULDADE DE CIENCIAS DA UNIVERSIDADE DE LISBOA
CAMPO GRANDE, ED. C5
1749-016 LISBOA
Portugal
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben