Contracting transaction hierarchies

Existing transaction models are capable of providing flow control and data control in a single transaction hierarchy. The notion of contract transaction is introduced to support interaction between multiple transaction hierarchies.