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.