Transactions on Shared Data: A Coordination Model

                           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

Architecture neutrality, reliability, and support of reactive programs are
the primary goals of the coordination and programming language model TSD
(Transactions on Shared Data). The basic execution units are transactions
that communicate through shared data. Data assigned to variables
through unification are immutable; the presence or absence of data is used
for synchronization. Transactions report their execution state (executing,
succeeded or failed) to variables. Since execution states are visible and
can be used for synchronization, all execution control strategies are
representable within the proposed model.