TYPE SPECIALIZATION FOR OBJECT-ORIENTED COORDINATION

                           Franz Puntigam
      Technische Universität Wien, Institut für Computersprachen
	 Argentinierstraße 8, A-1040 Vienna, Austria, Europe
	      e-mail: franz@complang.tuwien.ac.at

TSOc is presented as a declarative, object-oriented, concurrent programming
language and model. Its intended field of application is the coordination
of simultaneously active autonomous applications. This language/model
is based on a type lattice and constraints over typed variables.
Subtyping and constraints allow to specify interfaces and communication
protocols in a declarative way.