The calculus formally describes the concurrent interaction of ephemeral objects through asynchronous communication. Synchronous communication is implemented with continuations. Templates are specifications of processes abstracted on a sequence of variables allowing, for example, for classes to be modeled.
Unbounded behavior is modeled through explicit instantiation of recursive templates.
A type system assigns monomorphic types to variables and polymorphic types to templates variables. TyCO provides a very clean model for an object-oriented language which combines the benefits of the formal framework of process calculi with the characteristics of Agha and Hewitt's actor systems. TyCO - the language TyCO grows from the base calculus by introducing a builtin conditional construct and a few derived constructs. The TyCO software distribution We are pleased to announce the release of TyCO version 0.3 . TyCO feedback We are interested in getting feedback from TyCO users and to assist users that decide to try out the software.