Publications of Franz Puntigam (Punt94c)

Franz Puntigam.
Transactions on Shared Data: A Coordination Model.
In Proceedings of the 27th Hawaii International Conference on System Sciences, Maui, Hawaii, January 1994.

Abstract:

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.

Paper

@Inproceedings{Punt94c,
  author    = "Franz Puntigam",
  title     = "Transactions on Shared Data: A Coordination Model",
  booktitle = "Hawaii International Conference on System Sciences",
  month     = jan,
  year      = 1994,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt94c.ps.gz"
}