Transactions on Shared Data: a coordination model

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.<>